dov/giv — Issue #22: Make root entry of mark browser less wide.
Author: dov
Created: 2012-02-19 19:25:50+00:00
State: open

The top level of the browse marker shows the full path of the giv file. This should be changed to the basename or a simple string, e.g. "root".