B:BD[
4.168537] → [
4.168537:168600]
B:BD[
4.168600] → [
2.12:121]
∅:D[
2.121] → [
4.168715:169063]
B:BD[
4.168715] → [
4.168715:169063]
B:BD[
4.169063] → [
2.122:197]
-- maximize window to determine maximum allowable dimensions
App.screen.resize(0, 0) -- maximize
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)
source.resize_window_from_settings(settings)