mirror of
https://gitlab.gnome.org/GNOME/gimp.git
synced 2025-07-04 01:43:24 +00:00
themes: Plug system theme leak for menu hover
Some system themes add additional padding or borders to menu items when hovered over, which causes the menu to jitter or shake. This patch attempts to mitigate the issue by defining those values in the Default CSS theme.
This commit is contained in:
parent
093f31dc40
commit
aa773e618b
1 changed files with 8 additions and 2 deletions
|
@ -650,15 +650,21 @@ menubar > menuitem:hover {
|
||||||
|
|
||||||
/* Top menubar subitem style */
|
/* Top menubar subitem style */
|
||||||
menu menuitem {
|
menu menuitem {
|
||||||
color: @fg-color;
|
|
||||||
background-color: @bg-color;
|
background-color: @bg-color;
|
||||||
}
|
}
|
||||||
|
|
||||||
menu menuitem:hover {
|
menu menuitem:hover {
|
||||||
color: @fg-color;
|
|
||||||
background-color: @extreme-bg-color;
|
background-color: @extreme-bg-color;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
menu menuitem, menu menuitem:hover {
|
||||||
|
border-width: 0px;
|
||||||
|
color: @fg-color;
|
||||||
|
min-height: 16px;
|
||||||
|
min-width: 40px;
|
||||||
|
padding: 4px 6px;
|
||||||
|
}
|
||||||
|
|
||||||
menuitem *:hover {
|
menuitem *:hover {
|
||||||
color: @fg-color;
|
color: @fg-color;
|
||||||
background: @extreme-selected-color;
|
background: @extreme-selected-color;
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue