on.resize = function(w,h)
initialize_editors(Editors[1].font_height, Editors[1].filename, Editors[1].screen_top1)
end