diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2023-07-11 10:06:12 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2023-07-11 10:06:12 -0700 |
commit | f72fe2f172a37248026ade3a07b77ff2d1c7282c (patch) | |
tree | 4b26311013423f1be7fbc8f6014b9b7f71bb8e3a | |
parent | 8482be9472cf977f664cb3213eb886db02407c78 (diff) | |
parent | 52ba030eaa7e984aab969359d19ba48b4c483271 (diff) | |
download | text.love-f72fe2f172a37248026ade3a07b77ff2d1c7282c.tar.gz |
Merge lines.love
-rw-r--r-- | run.lua | 4 | ||||
-rw-r--r-- | source.lua | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/run.lua b/run.lua index 2030c93..c8d27e9 100644 --- a/run.lua +++ b/run.lua @@ -80,14 +80,14 @@ end function run.initialize_default_settings() local font_height = 20 love.graphics.setFont(love.graphics.newFont(font_height)) - run.initialize_window_geometry(App.width('m')) + run.initialize_window_geometry() 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) Settings = run.settings() end -function run.initialize_window_geometry(em_width) +function run.initialize_window_geometry() -- Initialize window width/height and make window resizable. -- -- I get tempted to have opinions about window dimensions here, but they're diff --git a/source.lua b/source.lua index 7e85bf8..fd69945 100644 --- a/source.lua +++ b/source.lua @@ -159,14 +159,14 @@ end function source.initialize_default_settings() local font_height = 20 love.graphics.setFont(love.graphics.newFont(font_height)) - source.initialize_window_geometry(App.width('m')) + source.initialize_window_geometry() Editor_state = edit.initialize_state(Margin_top, Margin_left, App.screen.width-Margin_right) Editor_state.filename = 'run.lua' Editor_state.font_height = font_height Editor_state.line_height = math.floor(font_height*1.3) end -function source.initialize_window_geometry(em_width) +function source.initialize_window_geometry() -- Initialize window width/height and make window resizable. -- -- I get tempted to have opinions about window dimensions here, but they're |