 Paulb23
|
0d0a856ad5
Fixed main gutter not drawing on item toggle
|
4 jaren geleden |
|
Paulb23
|
33ab9cd621
Move safe line color into editor
|
5 jaren geleden |
|
Paulb23
|
7829fdc1d0
Add folding gutter to code_edit
|
5 jaren geleden |
|
Paulb23
|
4d7df24d46
Add main_gutter (breakpoints, bookmarks, execution lines) to code_edit
|
5 jaren geleden |
|
Paulb23
|
907f9f2a84
Changed line_edited_from(from) to lines_edit_from(from, to)
|
5 jaren geleden |
|
Paulb23
|
1353ed5e44
Added Line numbers to CodeEdit
|
5 jaren geleden |
|
Paulb23
|
a0b409cb14
Add and convert editor to use CodeEdit
|
5 jaren geleden |
