Add preference switch between displaying directory name and full path
This MR fixes issue #627 (closed), and introduces a preference switch to choose whether the tab label should be just the name of the directory, or its full path.
-
Add hacky quickfix for tab label paths -
Add preference to switch between paths vs directory names as labels -
Fix bug: tabs need to be reloaded on preference change
Edited by Pratyaksh Gautam