J2DMH3IQU7KKKMKOG7NCUV2FDXW43CF2GFUXRTSYGGJ76MSY2TZQC 52QAGJREHPCEUJYKJFNMRFMAM3LX35GWFPXL74F2OHIKXMIN7KQAC NFFIIQTC2B3E5Q4EJUTLZTPUUMU2S5LM7T2H2P2ENDS7H6XZNYRQC R5QXEHUIZLELJGGCZAE7ATNS3CLRJ7JFRENMGH4XXH24C5WABZDQC JOPVPUSAMMU6RFVDQR4NJC4GNNUFB7GPKVH7OS5FKCYS5QZ53VLQC YWJZXFOROWKREZ76THNMQLWEOVWDYMNEEPGRMDXX32DJPRIJY76QC 34QHL4KCLCWXMXY7CBWZIEMKL6BX62DACWANNPQPYUHSV2INSE2QC NCSQ5FPI5NSJR3UDSXBUHUXJ2HPEVTYEVALFYAXCPO5FKRLRY7EQC XGJWKEBNWNZKGQCAZJ3JTAGMHWDWEK3EDBGUHAN3LFCMYTEHPOHQC A5ZROUM4HAX4DI6PKZF4XTS362MIJ52OOQRZVYJWGIVOH5XLZREAC ECUKZUSFVKW6Z4GOE3G4CEZRIOJR5XF5OWZSDNEHOJVYHTG24DLAC KHPSHJN4BMTJ3CHUFQQZU7ZIQDOQDF3L5HV3TRT5OJMYICJAEB5QC OABFBUZ4Z357CSTWL64JOBMTDLIKUGGBFJAQITXLO2577DLRAROQC OTIBCAUJ3KDQJLVDN3A536DLZGNRYMGJLORZVR3WLCGXGO6UGO6AC ZNXO7YZCQKQWJQ5ONQP2V5FZ2A4ZVSR4OLSTBTV72G4WV4AYMGSQC FHATRY6QSOUMHNGFDRTRAUSLQXIIQ36X5VXFCMJMPFDFNQPGJYIQC function test_show_log_browser_side_splits_window_width()-- initialize screen dimensions and indicate that it is maximizedApp.screen.init{width=300, height=300}
-- set up desired window dimensions and make window resizable_, _, App.screen.flags = App.screen.size()App.screen.flags.resizable = trueApp.screen.width, App.screen.height = settings.width, settings.heightApp.screen.resize(App.screen.width, App.screen.height, App.screen.flags)function source.set_window_position_from_settings(settings)if os == 'Linux' then-- love.window.setPosition doesn't quite seem to do what is asked of it on Linux.App.screen.move(settings.x, settings.y-37, settings.displayindex)elseApp.screen.move(settings.x, settings.y, settings.displayindex)-- Initialize window width/height and make window resizable.---- I get tempted to have opinions about window dimensions here, but they're-- non-portable:-- - maximizing doesn't work on mobile and messes things up-- - maximizing keeps the title bar on screen in Linux, but off screen on-- Windows. And there's no way to get the height of the title bar.-- It seems more robust to just follow LÖVE's default window size until-- someone overrides it.App.screen.width, App.screen.height, App.screen.flags = App.screen.size()if Settings == nil then Settings = {} endif Settings.source == nil then Settings.source = {} endSettings.source.x, Settings.source.y, Settings.source.displayindex = App.screen.position()Editor_state.width = Editor_state.right-Editor_state.leftText.redraw_all(Editor_state)Editor_state.right = App.screen.width - Margin_rightEditor_state.width = Editor_state.right-Editor_state.leftText.redraw_all(Editor_state)endLog_browser_state.left = App.screen.width/2 + Margin_leftLog_browser_state.right = App.screen.width - Margin_rightFile_navigation.cursors[Editor_state.filename] = {cursor1=Editor_state.cursor1, screen_top1=Editor_state.screen_top1}App.screen.flags.resizable = trueendlocal os = love.system.getOS()source.set_window_position_from_settings(settings)Show_log_browser_side = settings.show_log_browser_sidelocal right = App.screen.width - Margin_rightif Show_log_browser_side thenright = App.screen.width/2 - Margin_rightendEditor_state = edit.initialize_state(Margin_top, Margin_left, right, settings.font_height, math.floor(settings.font_height*1.3))Editor_state.filename = settings.filename
-- set up desired window dimensions and make window resizable_, _, App.screen.flags = App.screen.size()run.set_window_position_from_settings(Settings)function run.set_window_position_from_settings(settings)local os = love.system.getOS()if os == 'Linux' then-- love.window.setPosition doesn't quite seem to do what is asked of it on Linux.App.screen.move(settings.x, settings.y-37, settings.displayindex)elseApp.screen.move(settings.x, settings.y, settings.displayindex)endend-- Initialize window width/height and make window resizable.---- I get tempted to have opinions about window dimensions here, but they're-- non-portable:-- - maximizing doesn't work on mobile and messes things up-- - maximizing keeps the title bar on screen in Linux, but off screen on-- Windows. And there's no way to get the height of the title bar.-- It seems more robust to just follow LÖVE's default window size until-- someone overrides it.if Settings == nil then Settings = {} endSettings.x, Settings.y, Settings.displayindex = App.screen.position()return {App.screen.width, App.screen.height, App.screen.flags = App.screen.size()function run.initialize_default_settings()local font_height = 20love.graphics.setFont(love.graphics.newFont(font_height))Editor_state = edit.initialize_state(Margin_top, Margin_left, App.screen.width-Margin_right, Settings.font_height, math.floor(Settings.font_height*1.3))Editor_state.filename = Settings.filenameEditor_state.screen_top1 = Settings.screen_topEditor_state.cursor1 = Settings.cursorendApp.screen.flags.resizable = true
-- determine default dimensions and flagsApp.screen.width, App.screen.height, App.screen.flags = App.screen.size()-- set up desired window dimensions
-- set up desired window dimensions and make window resizable_, _, App.screen.flags = App.screen.size()
function set_window_position_from_settings(settings)local os = love.system.getOS()if os == 'Linux' then-- love.window.setPosition doesn't quite seem to do what is asked of it on Linux.App.screen.move(settings.x, settings.y-37, settings.displayindex)elseApp.screen.move(settings.x, settings.y, settings.displayindex)endend
local os = love.system.getOS()if os == 'Android' or os == 'iOS' then-- maximizing on iOS breaks text rendering: https://github.com/deltadaedalus/vudu/issues/7-- no point second-guessing window dimensions on mobileApp.screen.width, App.screen.height, App.screen.flags = App.screen.size()returnend-- maximize windowApp.screen.resize(0, 0) -- maximize
-- Initialize window width/height and make window resizable.---- I get tempted to have opinions about window dimensions here, but they're-- non-portable:-- - maximizing doesn't work on mobile and messes things up-- - maximizing keeps the title bar on screen in Linux, but off screen on-- Windows. And there's no way to get the height of the title bar.-- It seems more robust to just follow LÖVE's default window size until-- someone overrides it.