On Sat, May 25, 2013 at 7:56 PM, Sam Bull <sam.hack...@sent.com> wrote: > Does anybody know what I need to change to stop the dash disappearing > when the view changes?
You'll need to overwrite _setVisibility() in overviewControls.js, see https://git.gnome.org/browse/gnome-shell/tree/js/ui/overviewControls.js?h=gnome-3-8#n525. _______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-shell-list
