5RUFNRJOK3PXQKJTPDEN5K5PI67MGB25QUA44WOCCH2O5KHXT45QC draw_output_border = function()-- hack: computing based on editor before output existslocal x1 = Editor_state.left-5-Line_number_paddinglocal x2 = Editor_state.right+5local y1 = Editor_state.bottom+5+10-- upper borderlove.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_paddinglocal y1 = Editor_state.top-5local x2 = Editor_state.right+5local y2 = Editor_state.bottom+5-- upper borderlove.graphics.line(x1,y1, x2,y1)love.graphics.line(x1,y1, x1,y1+10)love.graphics.line(x2,y1, x2,y1+10)-- lower borderlove.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 + 5Menu_bottom = Menu_top + Menu_heightEditor_state = edit.initialize_state(--[[top]] Menu_bottom + 20, --[[bottom]] App.screen.height/2-5,--[[left]] 100, --[[right]] 400,love.graphics.getFont():getHeight(), Line_height)