2019-12-28 12:16:32 +01:00
|
|
|
-- put user settings here
|
|
|
|
-- this module will be loaded after everything else when the application starts
|
2020-12-11 14:49:03 +01:00
|
|
|
-- it will be automatically reloaded when saved
|
2019-12-28 12:16:32 +01:00
|
|
|
|
2020-12-13 13:04:06 +01:00
|
|
|
local core = require "core"
|
2019-12-28 12:16:32 +01:00
|
|
|
local keymap = require "core.keymap"
|
|
|
|
local config = require "core.config"
|
|
|
|
local style = require "core.style"
|
|
|
|
|
|
|
|
-- light theme:
|
2020-12-13 13:04:06 +01:00
|
|
|
-- core.reload_module("colors.summer")
|
2019-12-28 12:16:32 +01:00
|
|
|
|
|
|
|
-- key binding:
|
|
|
|
-- keymap.add { ["ctrl+escape"] = "core:quit" }
|
|
|
|
|
2020-12-10 17:56:53 +01:00
|
|
|
-- customize fonts:
|
|
|
|
-- style.font = renderer.font.load(DATADIR .. "/fonts/font.ttf", 14 * SCALE)
|
|
|
|
-- style.code_font = renderer.font.load(DATADIR .. "/fonts/monospace.ttf", 13.5 * SCALE)
|
|
|
|
--
|
|
|
|
-- fonts used by the editor:
|
|
|
|
-- style.font : user interface
|
|
|
|
-- style.big_font : big text in welcome screen
|
|
|
|
-- style.icon_font : icons
|
|
|
|
-- style.code_font : code
|
2020-12-11 14:49:03 +01:00
|
|
|
--
|
|
|
|
-- the function to load the font accept a 3rd optional argument like:
|
|
|
|
--
|
|
|
|
-- {antialiasing="grayscale", hinting="full"}
|
|
|
|
--
|
|
|
|
-- possible values are:
|
|
|
|
-- antialiasing: grayscale, subpixel
|
|
|
|
-- hinting: none, slight, full
|