Re: Dash hiding with extension

From: Florian Müllner <fmuellner gnome org>
To: Sam Bull <sam hacking sent com>
Cc: gnome-shell-list <gnome-shell-list gnome org>
Subject: Re: Dash hiding with extension
Date: Sat, 25 May 2013 21:40:50 +0200

On Sat, May 25, 2013 at 7:56 PM, Sam Bull <sam hacking 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.

Follow-Ups:
- Re: Dash hiding with extension
  - From: Sam Bull

References:
- Dash hiding with extension
  - From: Sam Bull

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