Merge branch 'option_disable_split_headers' into 'master'

Authored by tcanabrava on Jun 19 2020, 11:57 PM.

Description

Merge branch 'option_disable_split_headers' into 'master'

Add splitter settings.

See merge request utilities/konsole!92

Merged Changes

CommitAuthorDetailsCommitted
426949816e37tcanabrava
Add Split Settings: Toggle Visiblity and Dragger Size 
Jun 5 2020