Skip to content
GitLab
Explore
Sign in
auto hide tabs if we have just one document open
Code
Review changes
Check out branch
Download
Patches
Plain diff
Christoph Cullmann
requested to merge
work/auto_hide_tabs
into
master
Apr 01, 2022
Overview
2
Commits
2
Pipelines
3
Changes
4
Expand
initial implementation, needs config UI
@waqar
@dhaumann
@ngraham
BUG: 429321
Edited
Apr 01, 2022
by
Christoph Cullmann
Merge request reports
Loading