2021-02-19 13:54:10 +01:00
|
|
|
global {VERSION = "1.16.0"}
|
2021-02-16 14:33:39 +01:00
|
|
|
|
2019-12-28 12:16:32 +01:00
|
|
|
local config = {}
|
|
|
|
|
|
|
|
config.project_scan_rate = 5
|
|
|
|
config.fps = 60
|
2020-05-06 00:40:42 +02:00
|
|
|
config.max_log_items = 80
|
2019-12-28 12:16:32 +01:00
|
|
|
config.message_timeout = 3
|
2020-05-16 10:46:31 +02:00
|
|
|
config.mouse_wheel_scroll = 50 * SCALE
|
2019-12-28 12:16:32 +01:00
|
|
|
config.file_size_limit = 10
|
2020-05-17 14:31:04 +02:00
|
|
|
config.ignore_files = "^%."
|
2019-12-28 12:16:32 +01:00
|
|
|
config.symbol_pattern = "[%a_][%w_]*"
|
|
|
|
config.non_word_chars = " \t\n/\\()\"':,.;<>~!@#$%^&*|+=[]{}`?-"
|
|
|
|
config.undo_merge_timeout = 0.3
|
|
|
|
config.max_undos = 10000
|
|
|
|
config.highlight_current_line = true
|
|
|
|
config.line_height = 1.2
|
|
|
|
config.indent_size = 2
|
|
|
|
config.tab_type = "soft"
|
|
|
|
config.line_limit = 80
|
2020-11-17 12:33:57 +01:00
|
|
|
config.max_symbols = 4000
|
2020-11-16 14:45:45 +01:00
|
|
|
config.max_project_files = 2000
|
2021-02-21 11:08:25 +01:00
|
|
|
config.transitions = true
|
2019-12-28 12:16:32 +01:00
|
|
|
|
2021-01-13 14:50:24 +01:00
|
|
|
-- Disable plugin loading setting to false the config entry
|
|
|
|
-- of the same name.
|
|
|
|
config.trimwhitespace = false
|
|
|
|
|
2019-12-28 12:16:32 +01:00
|
|
|
return config
|