diff options
| author | Gabriel Gavilan <me@gabrii.com> | 2018-05-30 14:02:51 +0200 |
|---|---|---|
| committer | Gabriel Gavilan <me@gabrii.com> | 2018-05-30 14:39:44 +0200 |
| commit | b7b63fe0349094d05aa2f12317bcc9e97f3638d3 (patch) | |
| tree | e5880e1b28ba1a61bbdd4236d0dd4ced0ae45895 /editor/property_editor.h | |
| parent | 46bab3abc71156cd2da95312368f2c72abe7b151 (diff) | |
Improve breakpoints and breakpoint gutter API in TextEdit
Added breakpoint_gutter, is_breakpoint_gutter_enabled, set_breakpoint_gutter_enabled, get_breakpoints, remove_breakpoints.
Fixed breakpoint_toggled signal not fierd when text is edited.
Fixes #18026.
Diffstat (limited to 'editor/property_editor.h')
0 files changed, 0 insertions, 0 deletions