diff options
| author | pommicket <pommicket@gmail.com> | 2023-09-07 19:44:44 -0400 |
|---|---|---|
| committer | pommicket <pommicket@gmail.com> | 2023-09-07 22:50:12 -0400 |
| commit | b8be8dd9239f1b08cb578539e634de73751fbad8 (patch) | |
| tree | 4755c313f6fcdf4e6cd0d08329fc7b2b5fda26ec /ted-internal.h | |
| parent | 7963435fc83e9963a59ea8eae234339c8c97be9c (diff) | |
add show-diagnostics setting
Diffstat (limited to 'ted-internal.h')
| -rw-r--r-- | ted-internal.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ted-internal.h b/ted-internal.h index e5b9874..42592fb 100644 --- a/ted-internal.h +++ b/ted-internal.h @@ -135,6 +135,7 @@ struct Settings { bool crlf_windows; bool jump_to_build_error; bool force_monospace; + bool show_diagnostics; KeyCombo hover_key; KeyCombo highlight_key; u8 tab_width; |