search

Thoma5 / gnome-shell-extension-bottompanel

Move your GNOME 3.16+ shell panel to the bottom
19 stars 6 forks source link

Co-operation with Hide Top Bar? #12

Open peter-lyons-kehl opened 5 years ago

peter-lyons-kehl commented 5 years ago

Dear Thomas,

Thank you for Bottom Panel.

Unfortunately, it doesn't work well with auto-hide feature of https://extensions.gnome.org/extension/545/hide-top-bar (https://github.com/mlutfy/hidetopbar). The do co-operate for a moment. But then (after switching between applications a few times, or probably after starting a new application) auto-hide stops working.

Any ideas, please?

Thoma5 commented 5 years ago

Hi, I've tried it now for about ten minutes and wasn't able to reproduce it. I tried opening several windows, maximising, minimizing ,switching them, rotate screen on my convertible, still without success. @peter-kehl do you have some kind of instruction how to achieve this misbehavior?

peter-lyons-kehl commented 5 years ago

Hi Thomas.

Thank you for trying to replicate.

The OS is current Manjaro x64 4.19.16-1 (it's rolling release, a spin of Arc Linux), GNOME 3.30.2 (but I uninstalled GNOME Tweaks and some GNOME extensions that came with it). I still have several GNOME extensions, but I have enabled only Hide Top Bar and Bottom Panel.

The panel is moved to the bottom - thank you. However, to show it up, I have to move the mouse to the top of the screen (if I move the mouse to the bottom, it's ignored) - only then the panel comes up (from the bottom). To hide it again, it works properly: it hides when I move the mouse to the bottom of the screen (and it ignores if I move the mouse to the top).

Note that occasionally they do work well. It seems that right after (re)installing both of them, or re-activating both of them, or right after reinstalling/reactivating any one of those two extensions, if the other extension was already active - all that (re)installed/activated in Chrome through https://extensions.gnome.org/local, then they co-operate: Moving the mouse to the bottom does show the panel - once or a few times. But once I restart GNOME shell - by "Alt+F2 r" (still within the same GNOME session) - or if I re-login, then that correct behaviour stops. Then I have to move the mouse to the top to reveal the panel (which is at the bottom).

See a video at http://paneris.org/~peterk/GNOME-bottom-panel-hide-top.mp4. You may want to zoom in/out to see it whole. No audio - I tried two Linux recorders, they didn't record audio. Let me know if it needs an explanation.

Attached is also a dump of GNOME settings: dconf dump /org/gnome/ >gnome.dconf.txt. gnome.dconf.txt

ls  ~/.local/share/gnome-shell/extensions/ | cat -
appindicatorsupport@rgcjonas.gmail.com
bottompanel@tmoer93
clipboard-indicator@tudmotu.com
drive-menu@gnome-shell-extensions.gcampax.github.com
extensions@abteil.org
hibernate-status@dromi
hidetopbar@mathieu.bidon.ca
no-title-bar@franglais125.gmail.com
refresh-wifi@kgshank.net
screenshot-window-sizer@gnome-shell-extensions.gcampax.github.com
world_clock_lite@ailin.nemui

But only two are active: Bottom Panel and Hide Top Bar: Installed Extensions - GNOME Shell Extensions.pdf

Config of Hide Top Bar: image

Please investigate, or let me know how to identify the problem.