Fix memory corruption involving document tools.

Update document tab label after saving

Saving works now

(0) -100 -30 -10 -3 +3 +10 +30 +100 tip

mercurial