|
|
@ -292,7 +292,7 @@ function ConfigOption:init()
|
|
|
|
local name_text_max_width = name_widget_width
|
|
|
|
local name_text_max_width = name_widget_width
|
|
|
|
local face = Font:getFace(name_font_face, name_font_size)
|
|
|
|
local face = Font:getFace(name_font_face, name_font_size)
|
|
|
|
local option_name_container = RightContainer:new{
|
|
|
|
local option_name_container = RightContainer:new{
|
|
|
|
dimen = Geom:new{ w = name_widget_width, h = option_height},
|
|
|
|
dimen = Geom:new{ w = name_widget_width, h = option_height },
|
|
|
|
}
|
|
|
|
}
|
|
|
|
local option_name = Button:new{
|
|
|
|
local option_name = Button:new{
|
|
|
|
text = name_text,
|
|
|
|
text = name_text,
|
|
|
@ -828,7 +828,7 @@ function MenuBar:init()
|
|
|
|
table.insert(menu_bar, spacing)
|
|
|
|
table.insert(menu_bar, spacing)
|
|
|
|
table.insert(line_bar, spacing_line)
|
|
|
|
table.insert(line_bar, spacing_line)
|
|
|
|
|
|
|
|
|
|
|
|
self.dimen = Geom:new{ w = Screen:getWidth(), h = bar_height}
|
|
|
|
self.dimen = Geom:new{ x = 0, y = 0, w = Screen:getWidth(), h = bar_height }
|
|
|
|
local vertical_menu = VerticalGroup:new{
|
|
|
|
local vertical_menu = VerticalGroup:new{
|
|
|
|
line_bar,
|
|
|
|
line_bar,
|
|
|
|
menu_bar,
|
|
|
|
menu_bar,
|
|
|
|