delete flags that have never been exercised

Initialization is getting complex, and I'm finding bugs.

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