Add the filename as tooltip. This is convenient when multiple files are open and most of the tab labels are elided.remotes/origin/work/devicepixelratio
parent
8aa96484da
commit
32bbf3d4b8
1 changed files with 3 additions and 0 deletions
Loading…
Reference in new issue