-
Committer:
Jasper Groenewegen
-
Date:
2008-08-04 20:13:18 UTC
-
mto:
This revision was merged to the branch mainline in
revision
596.
-
Revision ID:
colbrac@xs4all.nl-20080804201318-sh768xqc0vs37srl
Tweak: Resize column width after bookmark change
Fixes UI annoyance that after a rename of a long bookmark name the column remained the old (too wide) width