GbEditorFrame: invalidate textview contents after saving document.
GbSourceView: invalidate text window when font changes