loader: insert spaces around menu title
Small visual nit, make menu title more clean MFC after: 3 days
This commit is contained in:
parent
3ead60236f
commit
62ffcaab8f
@ -489,7 +489,8 @@ also menu-infrastructure definitions
|
||||
if ( use default center alignement? )
|
||||
menuX @ 19 + over 2 / - menuY @ 1-
|
||||
then
|
||||
at-xy type
|
||||
swap 1- swap
|
||||
at-xy space type space
|
||||
|
||||
\ If $menu_init is set, evaluate it (allowing for whole menus to be
|
||||
\ constructed dynamically -- as this function could conceivably set
|
||||
|
@ -285,8 +285,8 @@ local function drawbox()
|
||||
if menu_header_x == nil then
|
||||
menu_header_x = x + (w // 2) - (#menu_header // 2)
|
||||
end
|
||||
screen.setcursor(menu_header_x, y)
|
||||
printc(menu_header)
|
||||
screen.setcursor(menu_header_x - 1, y)
|
||||
printc(" " .. menu_header .. " ")
|
||||
end
|
||||
|
||||
local function drawbrand()
|
||||
|
Loading…
Reference in New Issue
Block a user