Skip to content
GitLab
Explore
Sign in
System
Dolphin
Merge requests
!35
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