Commit Graph

2202 Commits

Author SHA1 Message Date
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
George Sokianos ff3e5282f6 Changed the OS4 release package name 2022-06-04 22:47:22 +01: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