 Paulb23
|
0caab00d66
Fix breakpointed_lines out of sync when removing lines above
|
vor 4 Jahren |
|
Paulb23
|
35264d5782
Change completion prefixes to single char and unnecessary ui_cancel accept_event
|
vor 4 Jahren |
|
Paulb23
|
ce064348fa
Add CodeEdit breakpoint unit tests
|
vor 4 Jahren |
 reduz
|
5cecdfa8af
Entirely removes BIND_VMETHOD in favor of GDVIRTUAL
|
vor 4 Jahren |
|
reduz
|
3682978aee
Replace BIND_VMETHOD by new GDVIRTUAL syntax
|
vor 4 Jahren |
|
Paulb23
|
a736fb8ce9
Fix breakpoint toggle signal not firing when expected
|
vor 4 Jahren |
|
Paulb23
|
ae4dcb8918
Cleanup and bind remaing methods in TextEdit
|
vor 4 Jahren |
|
Paulb23
|
e60900a353
Make TextEdit cut, copy and paste overridable
|
vor 4 Jahren |
|
Paulb23
|
809a32c045
Clean up and complete CodeEdit inspector and docs
|
vor 4 Jahren |
|
Paulb23
|
dd5a37f556
Move symbol lookup into CodeEdit
|
vor 4 Jahren |
|
Paulb23
|
8f900ac178
Move line length guidelines into CodeEdit
|
vor 4 Jahren |
|
Paulb23
|
d1a1ad127e
Move brace matching into CodeEdit
|
vor 4 Jahren |
|
Paulb23
|
12f0053555
Move auto brace completion to CodeEdit
|
vor 4 Jahren |
|
Paulb23
|
1a0cfc219b
Move indent management to CodeEdit
|
vor 4 Jahren |
|
Paulb23
|
5c618dd03d
Move code folding into CodeEdit and hide line hiding API
|
vor 4 Jahren |
|
Paulb23
|
c1b9971ad8
Move and expose Code Hint in CodeEdit
|
vor 5 Jahren |
|
Paulb23
|
1c16673798
Move and expose AutoComplete in CodeEdit
|
vor 5 Jahren |
|
Paulb23
|
680dc9e81a
Add comment and string tracking to CodeEdit
|
vor 5 Jahren |
 Rémi Verschelde
|
b5334d14f7
Update copyright statements to 2021
|
vor 4 Jahren |
|
Paulb23
|
7829fdc1d0
Add folding gutter to code_edit
|
vor 5 Jahren |
|
Paulb23
|
4d7df24d46
Add main_gutter (breakpoints, bookmarks, execution lines) to code_edit
|
vor 5 Jahren |
|
Paulb23
|
907f9f2a84
Changed line_edited_from(from) to lines_edit_from(from, to)
|
vor 5 Jahren |
|
Paulb23
|
1353ed5e44
Added Line numbers to CodeEdit
|
vor 5 Jahren |
|
Paulb23
|
a0b409cb14
Add and convert editor to use CodeEdit
|
vor 5 Jahren |
