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"
|
|
|
|
|
2021-01-13 14:50:24 +01:00
|
|
|
------------------------------ Themes ----------------------------------------
|
|
|
|
|
2019-12-28 12:16:32 +01:00
|
|
|
-- light theme:
|
2020-12-13 13:04:06 +01:00
|
|
|
-- core.reload_module("colors.summer")
|
2019-12-28 12:16:32 +01:00
|
|
|
|
2021-01-13 14:50:24 +01:00
|
|
|
--------------------------- Key bindings -------------------------------------
|
|
|
|
|
2019-12-28 12:16:32 +01:00
|
|
|
-- key binding:
|
|
|
|
-- keymap.add { ["ctrl+escape"] = "core:quit" }
|
|
|
|
|
2021-01-13 14:50:24 +01:00
|
|
|
|
|
|
|
------------------------------- Fonts ----------------------------------------
|
|
|
|
|
2020-12-10 17:56:53 +01:00
|
|
|
-- customize fonts:
|
2021-03-01 09:48:12 +01:00
|
|
|
-- style.font = renderer.font.load(DATADIR .. "/fonts/font.ttf", 13 * SCALE)
|
2021-02-19 16:23:19 +01:00
|
|
|
-- style.code_font = renderer.font.load(DATADIR .. "/fonts/monospace.ttf", 12 * SCALE)
|
2020-12-10 17:56:53 +01:00
|
|
|
--
|
2021-01-13 14:50:24 +01:00
|
|
|
-- font names used by lite:
|
2021-02-27 12:13:51 +01:00
|
|
|
-- style.font : user interface
|
|
|
|
-- style.big_font : big text in welcome screen
|
|
|
|
-- style.icon_font : icons
|
|
|
|
-- style.icon_big_font : toolbar 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
|
2021-01-13 14:50:24 +01:00
|
|
|
|
|
|
|
------------------------------ Plugins ----------------------------------------
|
|
|
|
|
|
|
|
-- enable or disable plugin loading setting config entries:
|
|
|
|
|
|
|
|
-- enable trimwhitespace, otherwise it is disable by default:
|
|
|
|
-- config.trimwhitespace = true
|
|
|
|
--
|
|
|
|
-- disable detectindent, otherwise it is enabled by default
|
|
|
|
-- config.detectindent = false
|