A lightweight programming environment for desktop and mobile devices
one_time_load = function()
	print('loading '..Current_pane.filename)
	edit.clear(Current_pane.editor_state)
	Current_pane.editor_state.filename = Directory..Current_pane.filename
	load_from_disk(Current_pane.editor_state)
	Text.redraw_all(Current_pane.editor_state)
	-- Disable autosave; undo isn't accessible in mobile devices.
	Current_pane.editor_state.filename = nil
end