Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | ScriptEditor: Fix line number gutter drag select | Devin Curry | 2020-10-25 | 1 | -1/+4 |
* | Fixed main gutter not drawing on item toggle | Paulb23 | 2020-10-13 | 1 | -0/+3 |
* | Move safe line color into editor | Paulb23 | 2020-09-10 | 1 | -2/+6 |
* | Add folding gutter to code_edit | Paulb23 | 2020-09-10 | 1 | -0/+62 |
* | Add main_gutter (breakpoints, bookmarks, execution lines) to code_edit | Paulb23 | 2020-09-10 | 1 | -12/+259 |
* | Changed line_edited_from(from) to lines_edit_from(from, to) | Paulb23 | 2020-09-10 | 1 | -2/+2 |
* | Added Line numbers to CodeEdit | Paulb23 | 2020-09-10 | 1 | -1/+85 |
* | Add and convert editor to use CodeEdit | Paulb23 | 2020-09-10 | 1 | -0/+47 |