|
|
4d7df24d46
|
Add main_gutter (breakpoints, bookmarks, execution lines) to code_edit
|
2020-09-10 20:35:28 +01:00 |
|
|
|
907f9f2a84
|
Changed line_edited_from(from) to lines_edit_from(from, to)
|
2020-09-10 20:35:28 +01:00 |
|
|
|
1353ed5e44
|
Added Line numbers to CodeEdit
|
2020-09-10 20:35:28 +01:00 |
|
|
|
a0b409cb14
|
Add and convert editor to use CodeEdit
|
2020-09-10 20:35:27 +01:00 |
|
