Let menu buttons vary in width

This commit is contained in:
Isaiah Odhner 2023-04-16 20:33:29 -04:00
parent a02431d19e
commit a69851d1bf

View File

@ -138,8 +138,8 @@ Button {
height: 3; height: 3;
} }
.menu_bar Button { .menu_bar Button {
/* This seems to be the only way to get the button to shrink? */ width: auto;
max-width: 8; min-width: 0;
} }
.menu_popup Button { .menu_popup Button {
min-width: 20; min-width: 20;