AOZX2G5FVANPHTV74V6YR7SNTMUD4F4IYN53OGKYHUWBCCWF5S4QC
function source.initialize_edit_side(arg)
if #arg > 0 then
Editor_state.filename = arg[1]
load_from_disk(Editor_state)
Text.redraw_all(Editor_state)
Editor_state.screen_top1 = {line=1, pos=1}
Editor_state.cursor1 = {line=1, pos=1}
else
load_from_disk(Editor_state)
Text.redraw_all(Editor_state)
end
function source.initialize_edit_side()
load_from_disk(Editor_state)
Text.redraw_all(Editor_state)