Little problem...
This docker works really well for me except for one little thing. In the header editor, which is what i use mostly, the column width in the gui is tiny. i can't seem to "grab" the column with the mouse to widen it either using the web gui or tightvnc. anyone else with the same problem?