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-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 = new_pane_button(x)
|
|
|
|
x = duplicate_pane_button(x)
|
|
|
|
x = clear_pane_button(x)
|
|
|
|
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-15 15:04:34 +00:00
|
|
|
end
|