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_help_search.h | |
| parent | 907f9f2a8444be195d489ae614f88018a10cf6ce (diff) | |
Add main_gutter (breakpoints, bookmarks, execution lines) to code_edit
Diffstat (limited to 'editor/editor_help_search.h')
0 files changed, 0 insertions, 0 deletions