Skip to content

Tweak GNOME menu bar#48

Open
salim-b wants to merge 2 commits intoanthonynorth:masterfrom
salim-b:tweak-gnome-menu-bar
Open

Tweak GNOME menu bar#48
salim-b wants to merge 2 commits intoanthonynorth:masterfrom
salim-b:tweak-gnome-menu-bar

Conversation

@salim-b
Copy link
Contributor

@salim-b salim-b commented Oct 15, 2020

Menu bar tweaking

  • Decrease height by 10px, saving vertical space.

  • Use same background color as the rest of the menu bar and change drop-down color accordingly. This looks cleaner.

This is how the menu bar looks after the changes:

Bildschirmfoto von 2020-10-16 00-08-14

Drop-down menu tweaking

Additionally, the drop-down menu was adjusted to be consistent with the dark colors of Ubuntu's Yaru theme. Before, the menu background was the same as color as the editor background leading to bad visual discriminability and the highlighting was in blue.

Before:

Bildschirmfoto von 2020-10-16 00-45-46

After:

Bildschirmfoto von 2020-10-16 01-09-22

- decrease height by 10px, saving vertical space

- use same background color as the rest of the menu bar and change drop-down color accordingly. this looks more clean.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant