index
:
pragtical-plugins
master
Plugins for the Pragtical editor
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Age
Commit message (
Expand
)
Author
2023-08-10
Changed terminal to master until it stabilizes
jgmdev
2023-08-09
Updated terminal plugin hash
jgmdev
2023-08-10
[CI] Updated README.md.
Github Actions
2023-08-09
Add `su_save` (#274)
Guldoman
2023-08-09
Added in tetris. (#276)
Adam
2023-08-09
Dlang: allow underscores for numbers and improve function matching (#275)
Tamnac
2023-08-09
Updated manifest.json to include terminal. (#270)
Adam
2023-08-09
editorconfig fix for new pragtical changes
jgmdev
2023-08-09
Added missing return on load eval statement
jgmdev
2023-08-07
[CI] Updated README.md.
Github Actions
2023-08-07
Updated lintplus to latest linewrap bug fix
jgmdev
2023-08-06
lfautoinsert: do not insert extra newline on missing close
jgmdev
2023-08-06
profiler: added forgotten non-jit profiler
jgmdev
2023-07-31
Updated scm, lsp and console to latest
jgmdev
2023-07-31
[CI] Updated README.md.
Github Actions
2023-07-30
Added codeplus plugin to manifest.json with given suggestions (#273)
Francisco Barreiras
2023-07-30
Changes needed for new project changes
jgmdev
2023-07-25
[CI] Updated README.md.
Github Actions
2023-07-25
Add do-not-edit notices to `README.md`
Guldoman
2023-07-25
Hare language support (#269)
Tuhkis
2023-07-19
remember that easing previewer plugin? yeah, I finally uploaded it (#268)
ThaCuber
2023-07-12
Updated perl to improve syntax highlighting. (#265)
Adam
2023-06-19
Updated mod_version to reflect remotes.
Adam Harrison
2023-06-19
Fix Rust lifetime highlighting (#213)
Delta-official
2023-06-16
Added missing name to language_caddyfile
jgmdev
2023-06-15
[CI] Updated README.md.
Github Actions
2023-06-15
profiler: added support for luajit native profiler
jgmdev
2023-06-12
Updated draw_caret plugins to api change
jgmdev
2023-06-09
Use PATHSEP instead of / on language plugins
jgmdev
2023-06-05
Updated lsp plugin
jgmdev
2023-06-02
editorconfig: fix issue with final new lines
jgmdev
2023-06-02
[CI] Updated README.md.
Github Actions
2023-06-02
Updated scm plugin to latest fixes
jgmdev
2023-06-02
Fix svg_screenshot for luajit
jgmdev
2023-05-30
[CI] Updated README.md.
Github Actions
2023-05-30
Added improved version of todotreeview plugin.
jgmdev
2023-05-27
lsp: updated target commit
jgmdev
2023-05-27
editorconfig: added charset support
jgmdev
2023-05-27
profiler plugin: updated editor references
jgmdev
2023-05-27
Use plaintext `string.find` in `lfautoinsert` to check for `close` tags
Guldoman
2023-05-27
carets-a-lot (#237)
ThaCuber
2023-05-27
Fix indentation in `lfautoinsert` and add support for multiple carets (#256)
Guldoman
2023-05-26
[CI] Updated README.md.
Github Actions
2023-05-26
Adjusted remote of console plugin
jgmdev
2023-05-24
language_sh: add string interpolation syntax highlighting
Merlin Volkmer
2023-05-24
[CI] Updated README.md.
Github Actions
2023-05-24
Removed search_ui, now part of pragtical
jgmdev
2023-05-23
[CI] Updated README.md.
Github Actions
2023-05-23
Replaced references to lpm with ppm
jgmdev
2023-05-23
Bumped commits to fix version mismatches.
Adam Harrison
[prev]
[next]