YV2GBDNWXXP5V4YJUSEA5M6A3QWLU4NX42K5FV4RJVHKPFED66IAC
on.load_settings = function(settings)
Font_height = settings.font_height or font_height
Background_color = settings.background_color or Background_color
-- careful not to replace the Foreground_color table instance
if settings.foreground_color then
local src = settings.foreground_color
local dest = Foreground_color
dest.r, dest.g, dest.b, dest.a = src.r, src.g, src.b, src.a
end
end
on.save_settings = function()
return {
font_height = Font_height,
foreground_color = Foreground_color,
background_color = Background_color
}
end
Font_height = 20