-- some hysteresis while resizing
  if Current_time < Last_resize_time + 0.1 then
    return
  end

96

98

on.resize = function(w,h)
	initialize_editors(Editors[1].font_height, Editors[1].filename, Editors[1].screen_top1)
end

{"resync_editors":70,"on.keychord_press":74,"on.key_release":15,"Cursor_editor":16,"on.save_settings":88,"on.mouse_press":63,"Font_height":86,"on.mouse_release":59,"on.load_settings":95,"fw_app":"broadsheet","on.initialize":94,"initialize_editors":96,"Filename":85,"on.draw":60,"on":1,"Screen_top":87,"Editors":6,"fw_parent":97,"on.text_input":69,"on.resize":98}

on.resize = function(w,h)
	initialize_editors(Editors[1].font_height, Editors[1].filename, Editors[1].screen_top)
end

{"initialize_editors":96,"Filename":85,"on.draw":60,"Screen_top":87,"Editors":6,"on.text_input":69,"resync_editors":70,"on.resize":97,"on.keychord_press":74,"on.key_release":15,"Cursor_editor":16,"on.save_settings":88,"on.mouse_press":63,"Font_height":86,"on.mouse_release":59,"on.load_settings":95,"fw_parent":96,"on":1,"on.initialize":94,"fw_app":"broadsheet"}