[gnome-shell] perf-tool: Remove dead code



commit eaff1e92902976cfa2ab25fa7d44f8d078170ccb
Author: Adel Gadllah <adel gadllah gmail com>
Date:   Mon Aug 18 22:58:30 2014 +0200

    perf-tool: Remove dead code

 src/gnome-shell-perf-tool.in |    2 --
 1 files changed, 0 insertions(+), 2 deletions(-)
---
diff --git a/src/gnome-shell-perf-tool.in b/src/gnome-shell-perf-tool.in
index 3bb32dd..55bfdf3 100644
--- a/src/gnome-shell-perf-tool.in
+++ b/src/gnome-shell-perf-tool.in
@@ -107,8 +107,6 @@ def run_shell(perf_output=None):
 def restore_shell():
     pid = os.fork()
     if (pid == 0):
-        if "MUTTER_WM_CLASS_FILTER" in os.environ:
-            del os.environ["MUTTER_WM_CLASS_FILTER"]
         os.execlp("gnome-shell", "gnome-shell", "--replace")
     else:
         sys.exit(0)


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]