On Sat, 2013-05-25 at 21:40 +0200, Florian Müllner wrote:
> 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.
Right, I don't think that's actually possible. The function is connected
to
On Sat, May 25, 2013 at 7:56 PM, Sam Bull 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
I'm having a problem updating one of my extensions for 3.8. I've played
with it a couple of times over the past month and not managed to fix it.
https://extensions.gnome.org/extension/568/notes/
My extension adds another view to the shell, and as far as I can tell,
it does it in the same way as th
