Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Utilities
Kate
Merge requests
!697
Merged
Created
Apr 01, 2022
by
Christoph Cullmann
@cullmann
🐮
Developer
Options
auto hide tabs if we have just one document open
Overview
2
Commits
2
Pipelines
3
Changes
4
initial implementation, needs config UI
@waqar
@dhaumann
@ngraham
BUG: 429321
Edited
Apr 01, 2022
by
Christoph Cullmann