Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAlain Magloire2004-08-22 22:18:44 +0000
committerAlain Magloire2004-08-22 22:18:44 +0000
commit9bf3b2ef780c72a70be9556494b28b69283e4254 (patch)
tree6eff3e72a8c3d3a5723d320e9dbb1ebd09ce7fbb /build/org.eclipse.cdt.make.ui/plugin.xml
parent1ffaa3cf2349d533ccd58b9615e29e9bc8ec76f5 (diff)
downloadorg.eclipse.cdt-9bf3b2ef780c72a70be9556494b28b69283e4254.tar.gz
org.eclipse.cdt-9bf3b2ef780c72a70be9556494b28b69283e4254.tar.xz
org.eclipse.cdt-9bf3b2ef780c72a70be9556494b28b69283e4254.zip
Move the MakefileDocumentProvider to use Eclipse-3.0
TextFileBuffer management this will allow us to open external files also
Diffstat (limited to 'build/org.eclipse.cdt.make.ui/plugin.xml')
-rw-r--r--build/org.eclipse.cdt.make.ui/plugin.xml22
1 files changed, 22 insertions, 0 deletions
diff --git a/build/org.eclipse.cdt.make.ui/plugin.xml b/build/org.eclipse.cdt.make.ui/plugin.xml
index a484723c110..ed83327becc 100644
--- a/build/org.eclipse.cdt.make.ui/plugin.xml
+++ b/build/org.eclipse.cdt.make.ui/plugin.xml
@@ -423,6 +423,8 @@
</action>
</actionSet>
</extension>
+
+ <!-- Makefile Editor extensions. -->
<extension
id="org.eclipse.cdt.make.editor"
name="MakefileEditor"
@@ -437,6 +439,26 @@
</editor>
</extension>
<extension
+ id="org.eclipse.cdt.make.ui.MakefileDocumentFactory"
+ name="%MakefileDocumentFactory.name"
+ point="org.eclipse.core.filebuffers.documentCreation">
+ <factory
+ extensions="*"
+ class="org.eclipse.cdt.make.internal.ui.editor.MakefileDocumentFactory">
+ </factory>
+ </extension>
+ <extension
+ id="org.eclipse.cdt.make.ui.MakefileDocumentSetupParticipant"
+ name="%MakefileDocumentSetupParticipant.name"
+ point="org.eclipse.core.filebuffers.documentSetup">
+ <participant
+ extensions="*"
+ class="org.eclipse.cdt.make.internal.ui.editor.MakefileDocumentSetupParticipant">
+ </participant>
+ </extension>
+
+
+ <extension
point="org.eclipse.ui.startup">
<startup
class="org.eclipse.cdt.make.internal.ui.MakeStartup">

Back to the top