This commit was manufactured by cvs2svn to create tag 'v20030820'.

Sprout from master 2003-08-19 09:31:42 UTC Dani Megert <dmegert> 'Applied patch for Tom:'
Cherrypick from master 2003-08-20 09:02:18 UTC Dani Megert <dmegert> 'Fixed problems with new extended editor (applied Tom's patch)':
    org.eclipse.core.filebuffers/build.properties
    org.eclipse.ui.editors/src/org/eclipse/ui/editors/text/TextEditor.java
    org.eclipse.ui.workbench.texteditor/src/org/eclipse/ui/texteditor/ExtendedTextEditor.java
3 files changed