Skip to content

issues Search Results · repo:voronind/hide-top-panel language:JavaScript

Filter by

8 results
 (96 ms)

8 results

invoronind/hide-top-panel (press backspace or delete to remove)

@voronind I really love your extension. However, it stopped working after upgrading to Ubuntu 20.10. The version of gnome shell is 3.38.1. Can you take a look?
  • Microtribute
  • Opened 
    on Oct 24, 2020
  • #10

Hello, if you click in Ubuntu 20.04 on Show all Applications then the top panel shows up again. But after leaving the applications overview to the standard desktop view the top panel hides again. Please ...
  • mireiner
  • Opened 
    on Jun 24, 2020
  • #9

Please propose alternative methods in README.md as described by Peter Kehl in his comment (see https://extensions.gnome.org/extension/740/hide-top-panel/) Alternative method In Firefox, open a special ...
  • olibre
  • Opened 
    on Dec 29, 2018
  • #6

  • voronind
  • 1
  • Opened 
    on Dec 12, 2014
  • #5

When restarting my computer, this extension puts the top bar in the middle of my external monitor. I use a laptop, my primary monitor is the external one. Works fine after turning off the extension, restarting ...
  • joshuaMarple
  • 1
  • Opened 
    on Apr 10, 2014
  • #4

Show top panel, when user move cursor to top border of screen.
  • ai
  • 2
  • Opened 
    on Dec 27, 2013
  • #3

Make top panel behave like events panel at bottom - showing when mouse reaches top border.
enhancement
wontfix
  • nazar-pc
  • 2
  • Opened 
    on Dec 9, 2013
  • #2

Can update this extension to Gnome 3.10?
  • hectorespert
  • 1
  • Opened 
    on Nov 4, 2013
  • #1
Issue origami icon

Learn how you can use GitHub Issues to plan and track your work.

Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub Issues
ProTip! 
Restrict your search to the title by using the in:title qualifier.
Issue origami icon

Learn how you can use GitHub Issues to plan and track your work.

Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub Issues
ProTip! 
Press the
/
key to activate the search input again and adjust your query.
Issue search results · GitHub