5RUFNRJOK3PXQKJTPDEN5K5PI67MGB25QUA44WOCCH2O5KHXT45QC
draw_output_border = function()
-- hack: computing based on editor before output exists
local x1 = Editor_state.left-5-Line_number_padding
local x2 = Editor_state.right+5
local y1 = Editor_state.bottom+5+10
-- upper border
love.graphics.line(x1,y1, x2,y1)
love.graphics.line(x1,y1, x1,y1+10)
love.graphics.line(x2,y1, x2,y1+10)
end
Menu_background = {r=0.2, g=0.2, b=0.2}
Menu_bottom = 0
Menu_height = 0
Menu_left = 0
Menu_top = 0
draw_menu = function()
App.color(Menu_background)
love.graphics.rectangle('fill', 0,0, App.screen.width, Menu_bottom)
button(Editor_state, 'run', {x=Menu_left+5, y=Menu_top+5, w=App.width('Run')+10, h=Line_height, bg={r=0.5, g=0.8, b=0.5},
icon = function(p)
App.color{r=0,g=0,b=0}
love.graphics.print('Run', p.x+5,p.y+2)
end,
onpress1 = function()
print('run')
end,
})
end
draw_editor_border = function()
local x1 = Editor_state.left-5-Line_number_padding
local y1 = Editor_state.top-5
local x2 = Editor_state.right+5
local y2 = Editor_state.bottom+5
-- upper border
love.graphics.line(x1,y1, x2,y1)
love.graphics.line(x1,y1, x1,y1+10)
love.graphics.line(x2,y1, x2,y1+10)
-- lower border
love.graphics.line(x1,y2, x2,y2)
love.graphics.line(x1,y2, x1,y2-10)
love.graphics.line(x2,y2, x2,y2-10)
end
Editor_state = edit.initialize_state(100, 300, 100, 400, love.graphics.getFont():getHeight(), Line_height)
Menu_left, Menu_top = love.window.getSafeArea()
Menu_height = 5 + Line_height + 5
Menu_bottom = Menu_top + Menu_height
Editor_state = edit.initialize_state(
--[[top]] Menu_bottom + 20, --[[bottom]] App.screen.height/2-5,
--[[left]] 100, --[[right]] 400,
love.graphics.getFont():getHeight(), Line_height)