diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2023-07-10 16:33:17 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2023-07-10 16:33:17 -0700 |
commit | 3f52063d026dcdaa299020573761266ab9a8618f (patch) | |
tree | f3ff82c333d0ff55591210218817638aa344e56d | |
parent | b42f08cb791dcd1c2dc1c6dc442d375a89976e75 (diff) | |
download | lines.love-3f52063d026dcdaa299020573761266ab9a8618f.tar.gz |
delete flags that have never been exercised
Initialization is getting complex, and I'm finding bugs.
-rw-r--r-- | run.lua | 4 | ||||
-rw-r--r-- | source.lua | 4 |
2 files changed, 0 insertions, 8 deletions
diff --git a/run.lua b/run.lua index 378279c..227c34f 100644 --- a/run.lua +++ b/run.lua @@ -59,8 +59,6 @@ function run.load_settings() App.screen.width, App.screen.height, App.screen.flags = App.screen.size() -- set up desired window dimensions App.screen.flags.resizable = true - App.screen.flags.minwidth = math.min(App.screen.width, 200) - App.screen.flags.minheight = math.min(App.screen.height, 200) App.screen.width, App.screen.height = Settings.width, Settings.height App.screen.resize(App.screen.width, App.screen.height, App.screen.flags) run.set_window_position_from_settings(Settings) @@ -105,8 +103,6 @@ function run.initialize_window_geometry(em_width) 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.height, 200) App.screen.resize(App.screen.width, App.screen.height, App.screen.flags) end diff --git a/source.lua b/source.lua index 9326152..b2d147d 100644 --- a/source.lua +++ b/source.lua @@ -156,8 +156,6 @@ function source.resize_window_from_settings(settings) Display_width, Display_height, App.screen.flags = App.screen.size() -- set up desired window dimensions App.screen.flags.resizable = true - App.screen.flags.minwidth = math.min(Display_width, 200) - App.screen.flags.minheight = math.min(Display_height, 200) App.screen.width, App.screen.height = settings.width, settings.height --? print('setting window from settings:', App.screen.width, App.screen.height) App.screen.resize(App.screen.width, App.screen.height, App.screen.flags) @@ -198,8 +196,6 @@ function source.initialize_window_geometry(em_width) App.screen.height = Display_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.height, 200) App.screen.resize(App.screen.width, App.screen.height, App.screen.flags) print('initializing source position') if Settings == nil then Settings = {} end |