5 commits

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