translate_subx_debug - mu - Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.

blob: d9038f393e00a57cbf6519f613016669d92a06a5 (plain) (tree)

571bf69f ^

372a4259 ^

571bf69f ^

372a4259 ^

23fd294d ^

372a4259 ^

571bf69f ^

372a4259 ^

23fd294d ^

571bf69f ^

d9d9ab81 ^

generated by cgit-pink 1.4.1-2-gfad0 (git 2.36.2.497.gbbea4dcf42) at 2024-11-14 03:20:16 +0000

pan> = math.min(App.screen.width, 200) App.screen.width, App.screen.height = Settings.width, Settings.height love.window.setMode(App.screen.width, App.screen.height, App.screen.flags) 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.filename Editor_state.screen_top1 = Settings.screen_top Editor_state.cursor1 = Settings.cursor end function run.initialize_default_settings() local font_height = 20 love.graphics.setFont(love.graphics.newFont(font_height)) local em = App.newText(love.graphics.getFont(), 'm') run.initialize_window_geometry(App.width(em)) Editor_state = edit.initialize_state(Margin_top, Margin_left, App.screen.width-Margin_right) Editor_state.font_height = font_height Editor_state.line_height = math.floor(font_height*1.3) Editor_state.em = em Settings = run.settings() end function run.initialize_window_geometry(em_width) -- maximize window love.window.setMode(0, 0) -- maximize App.screen.width, App.screen.height, App.screen.flags = love.window.getMode() -- shrink height slightly to account for window decoration App.screen.height = App.screen.height-100 App.screen.width = 40*em_width App.screen.flags.resizable = true App.screen.flags.minwidth = math.min(App.screen.width, 200) App.screen.flags.minheight = math.min(App.screen.width, 200) love.window.setMode(App.screen.width, App.screen.height, App.screen.flags) end function run.resize(w, h) --? print(("Window resized to width: %d and height: %d."):format(w, h)) App.screen.width, App.screen.height = w, h Text.redraw_all(Editor_state) Editor_state.selection1 = {} -- no support for shift drag while we're resizing Editor_state.right = App.screen.width-Margin_right Editor_state.width = Editor_state.right-Editor_state.left Text.tweak_screen_top_and_cursor(Editor_state, Editor_state.left, Editor_state.right) end function run.filedropped(file) -- first make sure to save edits on any existing file if Editor_state.next_save then save_to_disk(Editor_state) end -- clear the slate for the new file App.initialize_globals() Editor_state.filename = file:getFilename() file:open('r') Editor_state.lines = load_from_file(file) file:close() Text.redraw_all(Editor_state) love.window.setTitle('text.love - '..Editor_state.filename) end function run.draw() edit.draw(Editor_state) end function run.update(dt) Cursor_time = Cursor_time + dt edit.update(Editor_state, dt) end function run.quit() edit.quit(Editor_state) end function run.settings() local x,y,displayindex = love.window.getPosition() local filename = Editor_state.filename if filename:sub(1,1) ~= '/' then filename = love.filesystem.getWorkingDirectory()..'/'..filename -- '/' should work even on Windows end return { x=x, y=y, displayindex=displayindex, width=App.screen.width, height=App.screen.height, font_height=Editor_state.font_height, filename=filename, screen_top=Editor_state.screen_top1, cursor=Editor_state.cursor1 } end function run.mouse_pressed(x,y, mouse_button) Cursor_time = 0 -- ensure cursor is visible immediately after it moves return edit.mouse_pressed(Editor_state, x,y, mouse_button) end function run.mouse_released(x,y, mouse_button) Cursor_time = 0 -- ensure cursor is visible immediately after it moves return edit.mouse_released(Editor_state, x,y, mouse_button) end function run.textinput(t) Cursor_time = 0 -- ensure cursor is visible immediately after it moves return edit.textinput(Editor_state, t) end function run.keychord_pressed(chord, key) Cursor_time = 0 -- ensure cursor is visible immediately after it moves return edit.keychord_pressed(Editor_state, chord, key) end function run.key_released(key, scancode) Cursor_time = 0 -- ensure cursor is visible immediately after it moves return edit.key_released(Editor_state, key, scancode) end -- use this sparingly function to_text(s) if Text_cache[s] == nil then Text_cache[s] = App.newText(love.graphics.getFont(), s) end return Text_cache[s] end