From 220b33380efccd1d50d6781502eec65bf3643285 Mon Sep 17 00:00:00 2001 From: Frank Ploss Date: Sat, 26 Dec 2015 00:04:16 +0100 Subject: [PATCH] Show different icons depending on connection state --- extension.js | 16 +-- icons/{tor.svg => tor-connected.svg} | 0 icons/tor-disconnected.svg | 181 +++++++++++++++++++++++++++ tor_control_client.js | 13 +- ui/tor_button.js | 26 +++- 5 files changed, 220 insertions(+), 16 deletions(-) rename icons/{tor.svg => tor-connected.svg} (100%) create mode 100644 icons/tor-disconnected.svg diff --git a/extension.js b/extension.js index 0a2201d..75aad1d 100644 --- a/extension.js +++ b/extension.js @@ -19,6 +19,7 @@ along with gnome-shell-extension-tor. If not, see + + + + + + + image/svg+xml + + Gnome Symbolic Icon Theme + + + + + + + + Gnome Symbolic Icon Theme + + + + + + + + + + + + + + + + + + + diff --git a/tor_control_client.js b/tor_control_client.js index 24ff918..2ec67d8 100644 --- a/tor_control_client.js +++ b/tor_control_client.js @@ -21,25 +21,28 @@ along with gnome-shell-extension-tor. If not, see