delete flags that have never been exercised
Initialization is getting complex, and I'm finding bugs.
This commit is contained in:
parent
b42f08cb79
commit
3f52063d02
4
run.lua
4
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
|
||||
|
||||
|
|
|
@ -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
|
||||
|
|
Loading…
Reference in New Issue