takase1121
73cd768a19
load space metrics only instead of all metrics of the 1st 256 characters
2022-06-12 08:22:01 +08:00
takase1121
dc2e9621ca
lua patch for utf-8 support
2022-06-11 21:01:12 +08: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
82915bb217
changelog: added links to releases
2022-06-07 22:29:21 -04:00
jgmdev
3f206db69a
initial documentation for better code completion
2022-06-07 22:09:34 -04:00
Jefferson González
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ález
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ález
61015dd382
Merge pull request #1014 from Guldoman/PR_commandview_options2
...
Add `text`, `select_text` and `show_suggestions` options to `CommandView`
2022-06-07 19:05:32 -04:00
Jefferson González
439c27447f
Merge branch 'master' into PR_commandview_options2
2022-06-07 19:03:55 -04:00
jgmdev
1c6573aa1b
changelog: include treeview fixes
2022-06-07 18:47:19 -04:00
Jefferson González
2fc20330a3
Merge pull request #1010 from Guldoman/PR_improve_multiproject_treeview
...
`TreeView` improvements for multi-project
2022-06-07 18:24:54 -04:00
jgmdev
2caa96e9b9
ChangesLog: more details to 2.1.0 release
2022-06-07 03:00:44 -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
Jefferson González
b70069572e
Merge pull request #1018 from jgmdev/PR/linewrapping-priority
...
plugin linewrapping: added priority
2022-06-03 13:28:03 -04: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
Jefferson González
92a008614f
Merge pull request #1017 from jgmdev/PR/separate-default-theme
...
style: move default colors to its own style file
2022-06-02 20:12:07 -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
Jefferson González
cd80270feb
Merge pull request #1015 from jgmdev/PR/drawwhitespace-config-spec
...
plugin drawwhitespace: added config spec
2022-06-02 00:08:38 -04:00
jgmdev
4157dd867c
plugin drawwhitespace: added config spec
2022-06-02 00:07:34 -04:00
Jefferson González
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ález
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ález
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
jgmdev
83f368cdbe
core: check for sdl initialization errors
2022-05-31 14:57:26 -04:00
Jefferson González
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ález
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ález
7dc069aa8f
Merge pull request #995 from jgmdev/PR/plugins-settings-gui
...
plugins: added settings gui support
2022-05-30 16:12:49 -04:00
Guldoman
11e27c6fda
Use new `CommandView:enter` options table
2022-05-30 22:08:13 +02:00
Guldoman
e4a806a9d0
Add options to `CommandView:enter`
...
Now `CommandView:enter` can accept a table that specifies its behavior.
The old behavior is kept for compatibility.
2022-05-30 22:07:39 +02:00