diff options
author | Paulb23 <p_batty@hotmail.co.uk> | 2020-07-26 15:57:23 +0100 |
---|---|---|
committer | Paulb23 <p_batty@hotmail.co.uk> | 2020-09-10 20:35:28 +0100 |
commit | 4d7df24d46f931839247a9886c485ed244d1c8ee (patch) | |
tree | 9f14dc892815039d3c2ec7984913dbb531d0ca8f /editor/editor_sectioned_inspector.cpp | |
parent | 907f9f2a8444be195d489ae614f88018a10cf6ce (diff) |
Add main_gutter (breakpoints, bookmarks, execution lines) to code_edit
Diffstat (limited to 'editor/editor_sectioned_inspector.cpp')
0 files changed, 0 insertions, 0 deletions