Age | Commit message (Collapse) | Author | |
---|---|---|---|
2020-10-25 | ScriptEditor: Fix line number gutter drag select | Devin Curry | |
Fixes issue #42722 | |||
2020-10-13 | Fixed main gutter not drawing on item toggle | Paulb23 | |
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 | |