Age | Commit message (Expand) | Author |
---|---|---|
2020-09-10 | Move safe line color into editor | Paulb23 |
2020-09-10 | Add folding gutter to code_edit | Paulb23 |
2020-09-10 | Add main_gutter (breakpoints, bookmarks, execution lines) to code_edit | Paulb23 |
2020-09-10 | Changed line_edited_from(from) to lines_edit_from(from, to) | Paulb23 |
2020-09-10 | Added Line numbers to CodeEdit | Paulb23 |
2020-09-10 | Add and convert editor to use CodeEdit | Paulb23 |