update TextEditor, AboutPlugin, FilePlugin and addition of minor plugin EditionPlugin