diff options
| author | Max Hilbrunner <mhilbrunner@users.noreply.github.com> | 2018-07-05 02:30:18 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-07-05 02:30:18 +0200 |
| commit | edc63a2f6037e2fa695915094cf2762a5d15953f (patch) | |
| tree | 901e2cf1b65a6cac0dbecf406795aa3b0395112d /editor/editor_plugin.h | |
| parent | 43a2e9e6691eaa434b165e6f6b2e74fe6d07963c (diff) | |
| parent | b7b63fe0349094d05aa2f12317bcc9e97f3638d3 (diff) | |
Merge pull request #18028 from gabrii/18026
Fix #18026. Expose TextEdit::set_draw_breakpoint_gutter.
Diffstat (limited to 'editor/editor_plugin.h')
0 files changed, 0 insertions, 0 deletions