on.load_settings = function(settings)
Font_height = settings.font_height
Filename = settings.filename
Screen_top = settings.screen_top
end