diff --git a/src/gnome-shell-perf-tool.in b/src/gnome-shell-perf-tool.in index 4a3e62e52..173aa98e4 100755 --- a/src/gnome-shell-perf-tool.in +++ b/src/gnome-shell-perf-tool.in @@ -45,6 +45,8 @@ def start_shell(wrap=None, perf_output=None): args += wrap.split(' ') args.append(os.path.join(self_dir, 'gnome-shell')) + args.append('--force-animations') + if options.replace: args.append('--replace')