Gesture manager and Profiles: improve Dispatcher actions menu (#13078)

This commit is contained in:
hius07
2025-01-26 11:10:49 +02:00
committed by GitHub
parent 9eeb23104f
commit 9bcd09633c
5 changed files with 181 additions and 154 deletions

View File

@@ -83,10 +83,17 @@ function SortItemWidget:init()
dimen = Geom:new{ w = checked_widget:getSize().w },
self.checkmark_widget,
},
TextWidget:new{
text = self.item.text,
max_width = text_max_width,
face = self.item.face or self.face,
VerticalGroup:new{
align = "left",
TextWidget:new{
text = self.item.text,
max_width = text_max_width,
face = self.item.face or self.face,
},
self.show_parent.underscore_checked_item and item_checked and LineWidget:new{
dimen = Geom:new{ w = text_max_width, h = Size.line.thick },
background = Blitbuffer.COLOR_DARK_GRAY,
},
},
},
},