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
end