Révision 3537 TXM/trunk/org.txm.treesearch.rcp/plugin.xml

plugin.xml (revision 3537)
102 102 
   <extension
103 103 
         point="org.eclipse.ui.preferencePages">
104 104 
      <page
105 
            category="org.txm.rcp.preferences.AdvancePreferencePage"
105 
            category="org.txm.rcp.preferences.UserPreferencePage"
106 106 
            class="org.txm.treesearch.preferences.TreeSearchPreferencePage"
107 107 
            id="org.txm.treesearch.preferences.TreeSearchPreferencePage"
108 108 
            name="%page.name">
109 109 
      </page>
110 
      <page
111 
            category="org.txm.rcp.preferences.AdvancePreferencePage"
112 
            class="org.txm.treesearch.preferences.SyntacticAnnotationPreferencePage"
113 
            id="org.txm.treesearch.preferences.SyntacticAnnotationPreferencePage"
114 
            name="%page.name2">
115 
      </page>
110 116 
   </extension>
111 117 

  		





  112
  118
  
    
</plugin>


  		












Formats disponibles :
  Unified diff