one_time_save = function()
	print('saving to '..Current_pane.filename)
	Current_pane.editor_state.filename = Directory..Current_pane.filename
	save_to_disk(Current_pane.editor_state)
	-- Don't autosave yet; undo isn't accessible in mobile devices.
	Current_pane.editor_state.filename = nil
end