[
Date Prev][
Date Next][
Thread Prev][
Thread Next][
Date Index][
Thread Index]
[
List Home]
Re: [ptp-dev] Greg, would you test these patches?
|
Greg,
The plugin.xml had the MPICH preferences removed.
I've included (yet another) patch, but this one patches
HEAD for org.eclispe.ptp.ui's plugin.xml only.
R^2
Index: plugin.xml
===================================================================
RCS file: /cvsroot/technology/org.eclipse.ptp/core/org.eclipse.ptp.ui/plugin.xml,v
retrieving revision 1.15
diff -u -r1.15 plugin.xml
--- plugin.xml 2 Jun 2006 02:25:46 -0000 1.15
+++ plugin.xml 6 Jun 2006 20:09:10 -0000
@@ -5,24 +5,42 @@
point="org.eclipse.ui.views">
<category
name="%ParallelViewCategory.name"
- id="org.parallel.ptp.ui.views">
+ id="org.eclipse.ptp.ui.views">
</category>
<view
name="%ParallelMachinesView.name"
icon="icons/parallel_perspective.gif"
- category="org.parallel.ptp.ui.views"
+ category="org.eclipse.ptp.ui.views"
class="org.eclipse.ptp.ui.views.ParallelMachineView"
id="org.eclipse.ptp.ui.views.parallelMachineView">
</view>
<view
name="%ParallelJobsView.name"
icon="icons/parallel_perspective.gif"
- category="org.parallel.ptp.ui.views"
+ category="org.eclipse.ptp.ui.views"
class="org.eclipse.ptp.ui.views.ParallelJobView"
id="org.eclipse.ptp.ui.views.parallelJobView">
</view>
+ <view
+ name="%ResourceManagersView.name"
+ icon="icons/rm/rm_view.gif"
+ category="org.eclipse.ptp.ui.views"
+ class="org.eclipse.ptp.ui.views.ResourceManagerView"
+ id="org.eclipse.ptp.ui.views.resourceManagerView">
+ </view>
</extension>
-
+ <extension
+ point="org.eclipse.ui.perspectiveExtensions">
+ <perspectiveExtension
+ targetID="org.eclipse.ptp.ui.PTPRunPerspective">
+ <view
+ ratio="0.4"
+ relative="org.eclipse.ptp.ui.views.ParallelJobView"
+ relationship="top"
+ id="org.eclipse.ptp.ui.views.ResourceManagerView">
+ </view>
+ </perspectiveExtension>
+ </extension>
<extension
point="org.eclipse.ui.editors">
<editor
@@ -75,6 +93,12 @@
class="org.eclipse.ptp.ui.preferences.MPICH2PreferencesPage"
id="org.eclipse.ptp.ui.preferences.mpich2PreferencesPage"
name="%MPICH2preferencePage.name"/>
+ <page
+ name="%RMpreferencePage.name"
+ class="org.eclipse.ptp.ui.preferences.ResourceManagerPreferencesPage"
+ id="org.eclipse.ptp.ui.preferences.rmPreferencesPage"
+ category="org.eclipse.ptp.ui.preferences.ptpPreferencesPage">
+ </page>
</extension>
<extension
point="org.eclipse.core.runtime.preferences">