| .. |
|
comment
|
Adjust website and github links to include '5'
|
2022-06-08 09:58:57 +02:00 |
|
dialog
|
Adjust website and github links to include '5'
|
2022-06-08 09:58:57 +02:00 |
|
display
|
Adjust website and github links to include '5'
|
2022-06-08 09:58:57 +02:00 |
|
edit
|
Adjust website and github links to include '5'
|
2022-06-08 09:58:57 +02:00 |
|
fold
|
[foldgutter addon] Recompute fold markers on mode change
|
2022-07-28 10:27:42 +02:00 |
|
hint
|
[sql-hint addon] Fix getting keywords from plain sql mode
|
2022-12-08 08:35:48 +01:00 |
|
lint
|
[lint addon] Make sure tooltips don't stick out of the window width
|
2023-07-21 21:23:28 +02:00 |
|
merge
|
Add keyboard spacebar interactive for merge editor buttons
|
2022-12-14 09:12:26 +01:00 |
|
mode
|
Adjust website and github links to include '5'
|
2022-06-08 09:58:57 +02:00 |
|
runmode
|
[runmode addon] Use textContent instead of innerHTML to clear elements
|
2022-07-09 12:54:38 +02:00 |
|
scroll
|
Adjust website and github links to include '5'
|
2022-06-08 09:58:57 +02:00 |
|
search
|
Adjust website and github links to include '5'
|
2022-06-08 09:58:57 +02:00 |
|
selection
|
Adjust website and github links to include '5'
|
2022-06-08 09:58:57 +02:00 |
|
tern
|
[tern addon] Make sure dialog text is HTML escaped
|
2022-07-09 12:53:36 +02:00 |
|
wrap
|
Adjust website and github links to include '5'
|
2022-06-08 09:58:57 +02:00 |
370f7c4a72