Fix memory corruption involving document tools.

Update document tab label after saving

Saving works now

work on saving

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

mercurial