Merge branch 'option_disable_split_headers' into 'master'
Add splitter settings.
See merge request utilities/konsole!92
tcanabrava | Jun 19 2020, 11:57 PM |
Commit | Author | Details | Committed | |||
---|---|---|---|---|---|---|
426949816e37 | tcanabrava | Add Split Settings: Toggle Visiblity and Dragger Size | Jun 5 2020 |