diff options
| author | Kai Maetzel | 2003-08-13 22:08:34 +0000 |
|---|---|---|
| committer | Kai Maetzel | 2003-08-13 22:08:34 +0000 |
| commit | 8ca58eea375d377068498f6ec6851f14fa7d0ee2 (patch) | |
| tree | 88906df1baa0928e7b1b0786268818ecc164b0d5 /org.eclipse.ui.examples.javaeditor/plugin.properties | |
| parent | a97c4d6e893127000d7d123f58015b32b145acc8 (diff) | |
| download | eclipse.platform.text-8ca58eea375d377068498f6ec6851f14fa7d0ee2.tar.gz eclipse.platform.text-8ca58eea375d377068498f6ec6851f14fa7d0ee2.tar.xz eclipse.platform.text-8ca58eea375d377068498f6ec6851f14fa7d0ee2.zip | |
enabling file buffers
Diffstat (limited to 'org.eclipse.ui.examples.javaeditor/plugin.properties')
| -rw-r--r-- | org.eclipse.ui.examples.javaeditor/plugin.properties | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/org.eclipse.ui.examples.javaeditor/plugin.properties b/org.eclipse.ui.examples.javaeditor/plugin.properties index f5e7bb1fc..e9cee9f45 100644 --- a/org.eclipse.ui.examples.javaeditor/plugin.properties +++ b/org.eclipse.ui.examples.javaeditor/plugin.properties @@ -18,4 +18,5 @@ providerName = Eclipse.org # Extension point names
#
javaEditorName=Example Java Editor
-javaFileExtension=jav
+javaFileExtensions=jav
+documentSetupParticipantName=Example Java Document Setup Participant
|