Revise special symbols tool bar layout
Define view ID in files
FIX BUG: Do setMasterDocument instead of setCurrentDocument in OpenDocumentTask
FIX BUG: Update the file textview when master document is set