takase1121
bccc02743a
add option to patch lua with UTF8 support
2022-06-16 13:35:38 +08:00
Jefferson González
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ález
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ález
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ález
bde056350a
Merge pull request #1037 from takase1121/PR/dlopen-omit-filename
...
omit filename when printing error for library load
2022-06-15 16:37:41 -04:00
Jefferson González
0c7a132ec5
Merge pull request #1039 from takase1121/PR/font-retrieve-leak
...
fix memory leak and wrong check in font_retrieve
2022-06-15 16:36:06 -04:00
Jefferson González
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
jgmdev
d8a3987aa4
changeslog: added performance section and listed PR 1032
2022-06-15 12:15:14 -04:00
takase1121
7ecc174094
fix memory leak and wrong check in font_retrieve
2022-06-15 23:23:13 +08:00
takase1121
42e0028f1c
run GC between scale to prevent ram from exploding
2022-06-15 22:56:52 +08:00
takase1121
0de90d542b
omit filename from error message
2022-06-15 16:05:20 +08:00
takase1121
093ae837ee
add .cache to gitignore
2022-06-15 16:04:37 +08:00
Jefferson González
2d412ef64a
Merge pull request #1032 from takase1121/font-load-optimization
...
load space metrics only when creating font
2022-06-14 19:56:14 -04: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
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