Hides the top panel bar. But keeps it in overview, with hot corners always available
Note: Binary files aren't shown on the web site. To see all files, please download the extension zipfile.
EGO-M-008 warning
extensions using unlock-dialog must document it in disable() comments
Extensions using `unlock-dialog` should document the reason in `disable()` comments.
Yet Another Hide Top Panel
extension.js:94
disable() {
const panelBox = Main.layoutManager.panelBox;
panelBox.translation_y = 0;
if (panelBox.get_parent() === Main.layoutManager.overviewGroup)
Main.layoutManager.overviewGroup.remove_child(panelBox);
else if (panelBox.get_parent() === Main.lay