Complete the initial user configuration file
This commit is contained in:
+9
-1
@@ -166,7 +166,7 @@ local function write_user_init_file(init_filename)
|
||||
init_file:write([[
|
||||
-- put user settings here
|
||||
-- this module will be loaded after everything else when the application starts
|
||||
-- it will be automatically reloaded when use save it
|
||||
-- it will be automatically reloaded when saved
|
||||
|
||||
local keymap = require "core.keymap"
|
||||
local config = require "core.config"
|
||||
@@ -187,6 +187,14 @@ local style = require "core.style"
|
||||
-- style.big_font : big text in welcome screen
|
||||
-- style.icon_font : icons
|
||||
-- style.code_font : code
|
||||
--
|
||||
-- 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
|
||||
]])
|
||||
init_file:close()
|
||||
end
|
||||
|
||||
Reference in New Issue
Block a user