Commit Graph
1310 Commits
Author SHA1 Message Date
Jefferson GonzálezandGitHub 3dadbd3a49 Merge pull request #1038 from takase1121/PR/scale-step-gc
run GC between scale to prevent ram from exploding
2022-06-16 03:04:53 -04:00
Jefferson GonzálezandGitHub 380cfb9a24 Merge pull request #1030 from Guldoman/PR_cache_draw_whitespace
`drawwhitespace`: Cache whitespace location
2022-06-15 21:08:09 -04:00
Guldoman 2d3abd2533 drawwhitespace: Invalidate cache on config changes 2022-06-16 00:03:25 +02:00
Jefferson GonzálezandGitHub d2fd5c9df7 Merge pull request #1034 from Guldoman/PR_escape_start_patterns
Check if "open" pattern is escaped
2022-06-15 16:51:34 -04:00
Jefferson GonzálezandGitHub eeea47a2e5 Merge pull request #1033 from Guldoman/PR_utf8_regex_fix
Convert more byte offsets to utf-8 pos in regex tokenizer
2022-06-15 16:51:11 -04:00
Jefferson GonzálezandGitHub 2dc0a5664d Merge pull request #1029 from Guldoman/PR_math_md
`language_md`: Add math delimiters
2022-06-15 15:32:57 -04:00
Guldoman d169619f69 Warn if token type is a table when not needed 2022-06-15 21:31:16 +02:00
Guldoman 2e37e85a48 Add helper function to report bad patterns in tokenizer 2022-06-15 21:28:46 +02:00
Guldoman 5027a0f12b Fix malformed pattern check for group patterns in tokenizer
If the token type was a simple string (and not a table), the size of the 
string was used instead of `1`.
2022-06-15 19:33:58 +02:00
takase1121 42e0028f1c run GC between scale to prevent ram from exploding 2022-06-15 22:56:52 +08:00
Guldoman 5b6b48320f Check if "open" pattern is escaped
Previously this check was only done for "close" patterns.
2022-06-12 04:19:05 +02:00
Guldoman c947e8a4d1 Convert more byte offsets to utf-8 pos in regex tokenizer 2022-06-12 02:55:36 +02:00
Guldoman f38723ea46 drawwhitespace: Cache whitespace location 2022-06-11 06:30:13 +02:00
Guldoman 685956cbdb Add Highlighter:update_notify to keep track of retokenized lines
This is helpful for plugins that need to know when a line has been 
retokenized.
2022-06-11 06:21:55 +02:00
Guldoman 99d328cfd7 Downgrade StatusView:get_items deprecation message to warning 2022-06-11 05:13:37 +02:00
Guldoman ed02a55cc1 language_md: Add math delimiters 2022-06-10 23:55:41 +02:00
jgmdev 3f206db69a initial documentation for better code completion 2022-06-07 22:09:34 -04:00
Jefferson GonzálezandGitHub ff641cdb06 Merge pull request #1022 from Guldoman/PR_annoy_on_reload_error
Open `LogView` on user/project module reload error
2022-06-07 20:06:56 -04:00
Jefferson GonzálezandGitHub 92c6f1c04f Merge pull request #1021 from Guldoman/PR_lax_common_merge
Make `common.merge` work with invalid arguments
2022-06-07 20:05:22 -04:00
Jefferson GonzálezandGitHub 439c27447f Merge branch 'master' into PR_commandview_options2 2022-06-07 19:03:55 -04:00
Jefferson GonzálezandGitHub 2fc20330a3 Merge pull request #1010 from Guldoman/PR_improve_multiproject_treeview
`TreeView` improvements for multi-project
2022-06-07 18:24:54 -04:00
Guldoman 237f0c91cb Open LogView on user/project module reload error 2022-06-05 04:29:24 +02:00
Guldoman 0b96be7af2 Make common.merge work with invalid arguments
This is needed because users could try to enable plugins with 
`config.plugins.plugin_name = true`.
Before, this would result in `common.merge` throwing an error; now it 
just returns a copy of the "base" table.
2022-06-05 04:10:51 +02:00
jgmdev de63574b53 plugin linewrapping: added priority
Since the linewrapping plugin modifies some of the DocView line
calculation and positioning functions we need to make sure of loading it
before other plugins. This way we make sure that plugins that also overwrite
and depend on DocView functionality aren't using the original methods without
the linewrapping changes, which leads to wrong line and column calculations.
2022-06-03 04:13:54 -04:00
jgmdev 5da7467a5c plugin drawwhitespace: return line height on draw_line_text 2022-06-03 03:16:18 -04:00
jgmdev ca46d8e261 style: move default colors to its own style file 2022-06-02 19:20:54 -04:00
Guldoman ec58b1f0bd Add text and select_text to CommandView options 2022-06-02 19:30:51 +02:00
Guldoman 6c89a3e575 Add show_suggestions to CommandView options 2022-06-02 19:30:22 +02:00
Guldoman 8ce1ecb897 Fix CommandView:enter deprecation log 2022-06-02 06:42:58 +02:00
jgmdev 4157dd867c plugin drawwhitespace: added config spec 2022-06-02 00:07:34 -04:00
Jefferson GonzálezandGitHub 59a5839ac9 Merge pull request #908 from Guldoman/PR_improve_whitespace
Improve `drawwhitespace` plugin
2022-06-01 21:59:45 -04:00
Adam Harrison 67066fc93a Added in defaults for dirwatch. 2022-06-01 18:36:00 -04:00
Guldoman d390eb248e Fix tooltip not getting removed after find-replace:replace 2022-06-01 18:19:33 +02:00
Guldoman 730ea0c91b Make TreeView more multi-project-dir aware 2022-06-01 06:58:04 +02:00
Guldoman e94c996a26 Add TreeView helper functions to get previous/next item 2022-06-01 06:58:04 +02:00
Guldoman 295e6b7e5a Allow common.path_suggest to specify a root directory
This will make relative paths start from `root`.
2022-06-01 06:57:38 +02:00
Guldoman 9a428648a9 Add common.is_absolute_path 2022-06-01 04:42:50 +02:00
Jefferson GonzálezandGitHub 13d062479a Merge pull request #1005 from Guldoman/PR_improve_logs
Add `warn` log level and backtraces
2022-05-31 16:38:47 -04:00
Jefferson GonzálezandGitHub c09715d0e1 Merge pull request #1004 from Guldoman/PR_commandview_options
Add options table to `CommandView:enter`
2022-05-31 16:38:36 -04:00
jgmdev 2d8a15f3ab plugins: dropped --lite-xl version tag 2022-05-31 16:34:14 -04:00
jgmdev 214f36157a plugins: only check mod version 2022-05-31 16:29:14 -04:00
Jefferson GonzálezandGitHub c62cf5ce8c Merge pull request #980 from jgmdev/PR/plugins-load-priority
plugins: add load priority support with '--priority:###' closes #978
2022-05-31 11:18:37 -04:00
Jefferson GonzálezandGitHub bd742d5b3d Merge pull request #999 from Guldoman/tokenizer_regex_groups
Allow regexes in `tokenizer` to split tokens with groups
2022-05-31 11:04:48 -04:00
Guldoman fae9af96bf Expose function to create custom log entries 2022-05-31 02:35:56 +02:00
Guldoman db2d30caaf Add warn log level 2022-05-31 02:26:42 +02:00
Guldoman c92f6a7b7f Always show backtrace for error log entries 2022-05-31 02:26:18 +02:00
Guldoman d8efb1ab53 Show error if language plugin pattern has mismatching number of groups
The number of results from a pattern with groups must never be greater
than the number of token types for that pattern.

Also if a token type was undefined, it's now pushed as a `normal` one.
2022-05-31 02:05:37 +02:00
Guldoman 7ac776bef6 Fix UTF-8 matches in regex group tokenizer 2022-05-31 01:59:14 +02:00
Guldoman 4f0d45d6ab Don't check unnamed files in autoreload plugin 2022-05-31 01:03:59 +02:00
Jefferson GonzálezandGitHub 7dc069aa8f Merge pull request #995 from jgmdev/PR/plugins-settings-gui
plugins: added settings gui support
2022-05-30 16:12:49 -04:00