105

107

resync_editors = function()
	edit.draw(Editors[1], Text_color)  -- initialize screen_bottom1
	for e=2,#Editors do
		local editor = Editors[e]
		editor.screen_top1 = {line=Editors[e-1].screen_bottom1.line, pos=Editors[e-1].screen_bottom1.pos}
		-- scroll down one line
		Text.populate_screen_line_starting_pos(editor, editor.screen_top1.line)
		local _, screen_line_index = Text.pos_at_start_of_screen_line(editor, editor.screen_top1)
		if screen_line_index < #editor.line_cache[editor.screen_top1.line].screen_line_starting_pos then
			editor.screen_top1.pos = editor.line_cache[editor.screen_top1.line].screen_line_starting_pos[screen_line_index+1]
		else
			editor.screen_top1 = {line=editor.screen_top1.line+1, pos=1}
		end
		edit.draw(Editors[e], Text_color)  -- initialize screen_bottom1
	end
end

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

resync_editors = function()
	edit.draw(Editors[1], Text_color)  -- initialize screen_bottom1
	for e=2,#Editors do
		local editor = Editors[e]
		editor.screen_top1 = {line=Editors[e-1].screen_bottom1.line, pos=Editors[e-1].screen_bottom1.pos}
		-- scroll down one line
		local _, screen_line_index = Text.pos_at_start_of_screen_line(editor, editor.cursor1)
		if screen_line_index < #editor.line_cache[editor.screen_top1.line].screen_line_starting_pos then
			editor.screen_top1.pos = editor.line_cache[editor.screen_top1.line].screen_line_starting_pos[screen_line_index+1]
		else
			editor.screen_top1 = {line=editor.screen_top1.line+1, pos=1}
		end
		edit.draw(Editors[e], Text_color)  -- initialize screen_bottom1
	end
end

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