a few fixes w.r.t. dockbar and message window in general.
fixed Alt-x tab closing problem.
*** empty log message ***
*** empty log message ***
removed redundant names
fix chatbox label padding (probably not the correct fix)
fixed a small bug in the message window naming
committed the big Dockbar patch.
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.