*** empty log message ***
a few fixes w.r.t. dockbar and message window in general.
fix chatbox label padding (probably not the correct fix)
committed the big Dockbar patch.
initial module hiding
*** empty log message ***
simpler, more powerful and slightly less compact widget protocol
This form allows you to request diffs between any two revisions of this file. For each of the two "sides" of the diff, select a symbolic revision name using the selection box, or choose 'Use Text Field' and enter a numeric revision.