editor_plugins/terminal
|
chore: remove unused code
|
2024-05-10 22:50:39 +12:00 |
icons
|
chore: remove unused code
|
2024-05-10 22:50:39 +12:00 |
native
|
fix(term): select() fixes
|
2024-05-10 22:16:45 +12:00 |
resources
|
Update import plugins
|
2022-12-28 11:52:19 +13:00 |
shaders
|
feat(term): make cursor hollow when un-focused
|
2024-04-28 23:26:02 +12:00 |
themes
|
feat(theme): update themes
|
2024-04-28 17:29:40 +12:00 |
util
|
Format files using GDScript Toolkit
|
2023-01-21 15:33:25 +13:00 |
.gitignore
|
Convert from GDNative to GDExtension
|
2022-12-29 22:54:38 +13:00 |
LICENSE.md
|
chore: update license info
|
2024-04-01 19:42:22 +13:00 |
plugin.cfg
|
Bump version to 2.2.0
|
2022-08-26 10:02:09 +12:00 |
plugin.gd
|
feat(pty): add initial pty node
|
2024-02-25 11:48:47 +13:00 |
terminal.gd
|
chore(term): remove unused code
|
2024-05-10 22:10:13 +12:00 |
THIRDPARTY_NOTICES.txt
|
chore: update license info
|
2024-04-01 19:42:22 +13:00 |
THIRDPARTY_NOTICES_nopty.txt
|
chore: update license info
|
2024-04-01 19:42:22 +13:00 |