Co-operation with Hide Top Bar?

[peter-lyons-kehl]

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]

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]

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 -
[email protected]
bottompanel@tmoer93
[email protected]
[email protected]
[email protected]
hibernate-status@dromi
[email protected]
[email protected]
[email protected]
screenshot-window-sizer@gnome-shell-extensions.gcampax.github.com
[email protected]

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

Config of Hide Top Bar:

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