2023-11-15 15:04:34 +00:00
|
|
|
draw_menu = function()
|
|
|
|
App.color(Menu_background)
|
|
|
|
love.graphics.rectangle('fill', 0,0, App.screen.width, Menu_bottom)
|
2023-11-21 02:19:50 +00:00
|
|
|
local x = Menu_left+5
|
2023-11-21 07:46:22 +00:00
|
|
|
App.color(White)
|
2023-11-21 06:23:09 +00:00
|
|
|
love.graphics.print(Current_pane_index, x+5, Menu_top+5+2)
|
2023-11-21 07:46:22 +00:00
|
|
|
App.color(Normal_color)
|
2023-11-21 06:23:09 +00:00
|
|
|
x = x+5 + App.width(tostring(Current_pane_index)) + 10
|
2023-11-15 17:02:22 +00:00
|
|
|
-- main buttons
|
2023-11-21 02:19:50 +00:00
|
|
|
x = run_button(x)
|
2023-11-22 07:11:14 +00:00
|
|
|
x = stop_button(x)
|
|
|
|
App.color{r=0.5, g=0.5, b=0.5}
|
|
|
|
love.graphics.print('code', x, Menu_top+5)
|
|
|
|
x = x+App.width('code')+10
|
2023-11-21 06:23:09 +00:00
|
|
|
if Show_code then
|
|
|
|
x = hide_code_button(x)
|
|
|
|
else
|
|
|
|
x = show_code_button(x)
|
|
|
|
end
|
|
|
|
x = copy_button(x)
|
|
|
|
x = paste_button(x)
|
|
|
|
x = clear_pane_button(x)
|
2023-11-22 07:11:14 +00:00
|
|
|
App.color{r=0.5, g=0.5, b=0.5}
|
|
|
|
love.graphics.print('screen', x, Menu_top+5)
|
|
|
|
x = x+App.width('screen')+10
|
|
|
|
x = new_pane_button(x)
|
2023-11-21 06:23:09 +00:00
|
|
|
x = delete_pane_button(x)
|
2023-11-15 17:02:22 +00:00
|
|
|
-- settings button on right
|
|
|
|
local w = App.width('settings')
|
2023-11-21 06:23:09 +00:00
|
|
|
settings_button(Safe_width-w-10-5, w)
|
2023-11-15 17:02:22 +00:00
|
|
|
-- nav buttons along sides
|
2023-11-19 21:37:41 +00:00
|
|
|
if Current_pane_index > 1 then
|
2023-11-21 06:23:09 +00:00
|
|
|
previous_pane_button()
|
2023-11-19 21:37:41 +00:00
|
|
|
end
|
2023-11-21 06:23:09 +00:00
|
|
|
if Current_pane_index < #Panes then
|
|
|
|
next_pane_button(Menu_left + Safe_width)
|
2023-11-19 21:37:41 +00:00
|
|
|
end
|
2023-11-21 10:19:56 +00:00
|
|
|
if Show_settings then
|
|
|
|
draw_settings_menu()
|
|
|
|
end
|
2023-11-15 15:04:34 +00:00
|
|
|
end
|