diff options
| author | Adel Gadllah <adel.gadllah@gmail.com> | 2014-08-18 22:58:30 +0200 |
|---|---|---|
| committer | Adel Gadllah <adel.gadllah@gmail.com> | 2014-08-18 22:58:30 +0200 |
| commit | eaff1e92902976cfa2ab25fa7d44f8d078170ccb (patch) | |
| tree | 0ca45c2fad97be6ac65cbdd5b5dae0a0530366d2 /src/gnome-shell-perf-tool.in | |
| parent | 93c5e6d97e3fcaeb75e739a5bd741b8133a96ccb (diff) | |
| download | gnome-shell-eaff1e92902976cfa2ab25fa7d44f8d078170ccb.tar.gz | |
perf-tool: Remove dead code
Diffstat (limited to 'src/gnome-shell-perf-tool.in')
| -rw-r--r-- | 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 3bb32dd50..55bfdf39f 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) |