diff options
| author | David Czihak <git@dcz.at> | 2026-05-09 14:26:55 +0200 |
|---|---|---|
| committer | David Czihak <git@dcz.at> | 2026-05-09 14:26:55 +0200 |
| commit | 9409ba9689468c8b4ea9371b22eb2ba11354b847 (patch) | |
| tree | 124f6c15c7bd56dc2d24bc92c344ba98c5ba6fdd /MANUAL.md | |
| parent | 4b6f66fd512c254b5a82220dc77411fe391dd258 (diff) | |
Fix: Add inherit option to bool workspace options
Instead of a checkbox, the boolean workspace options now show three radio buttons, adding the option to inherit the value from the global option
Diffstat (limited to 'MANUAL.md')
0 files changed, 0 insertions, 0 deletions
