Review of "Yet Another Hide Top Panel" version 3

Details Page Preview

Hides the top panel bar. But keeps it in overview, with hot corners always available

Extension Homepage
https://github.com/jiesou/gnome-shell-extensions-ya-hide-top-panel

No comments.

Diff Against

Files

Note: Binary files aren't shown on the web site. To see all files, please download the extension zipfile.

Shexli (experimental) warning 2

Shexli found 2 issues that may need reviewer attention.

EGO-P-006 warning

unnecessary build and translation artifacts should not be shipped

Package contains files that often should not be shipped for review.

Don't include unnecessary files

  • stylesheet.css
    placeholder stylesheet.css

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.

Session Modes

  • 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

All Versions

Version Status
7 Unreviewed
6 Rejected
5 Rejected
4 Rejected
3 Rejected
2 Rejected
1 Rejected

Previous Reviews on this Version

jiesou auto- rejected
Auto-rejected because of new version 4 was uploaded