on.initialize = function(arg)
if #arg == 0 or arg[1] == Filename then
initialize_editors(Font_height, Filename, Screen_top)
else
initialize_editors(Font_height, arg[1], {line=1, pos=1})
end