Skip to content
GitLab
Explore
Sign in
Add tooltip to tabbar
Code
Review changes
Check out branch
Download
Patches
Plain diff
toluschr
requested to merge
toluschr/dolphin:add-tab-tooltip
into
master
Jul 08, 2020
Overview
6
Commits
1
Pipelines
0
Changes
1
Expand
This aims to solve the problem of having two tabs with the same basename.
Before
After
Edited
Jul 08, 2020
by
toluschr
Merge request reports
Loading