Merge pull request #112545 from timothyqiu/compact-menu-gutter

PopupMenu: Add theme option for merging icon and checkbox gutters
This commit is contained in:
Thaddeus Crews 2025-11-10 08:20:02 -06:00
commit 31867abdaa
No known key found for this signature in database
GPG key ID: 8C6E5FEB5FC03CCC
4 changed files with 47 additions and 26 deletions

View file

@ -717,6 +717,9 @@
<theme_item name="font_separator_outline_color" data_type="color" type="Color" default="Color(0, 0, 0, 1)">
The tint of text outline of the labeled separator.
</theme_item>
<theme_item name="gutter_compact" data_type="constant" type="int" default="1">
If not [code]0[/code], the icon gutter will be merged with the checkbox gutter when possible. This acts as a boolean.
</theme_item>
<theme_item name="h_separation" data_type="constant" type="int" default="4">
The horizontal space between the item's elements.
</theme_item>