OLD | NEW |
(Empty) | |
| 1 <?xml version="1.0" encoding="UTF-8"?> |
| 2 <?eclipse version="3.2"?> |
| 3 <plugin> |
| 4 <extension-point id="sources" name="sources" schema="schema/sources.exsd
"/> |
| 5 <extension-point id="excludedSources" name="excludedSources" schema="sch
ema/excludedSources.exsd"/> |
| 6 |
| 7 <extension |
| 8 point="org.eclipse.ui.handlers"> |
| 9 <handler |
| 10 commandId="com.xored.glance.commands.open" |
| 11 class="com.xored.glance.internal.ui.OpenSearchPanelHandler"> |
| 12 </handler> |
| 13 </extension> |
| 14 |
| 15 <extension point="org.eclipse.ui.startup"> |
| 16 <startup class="com.xored.glance.internal.ui.GlanceStartup"/> |
| 17 </extension> |
| 18 |
| 19 <extension point="org.eclipse.ui.commands"> |
| 20 <command |
| 21 categoryId="com.xored.glance.ui.commands" |
| 22 description="Open Glance search panel" |
| 23 id="com.xored.glance.commands.open" |
| 24 name="Open Glance"> |
| 25 </command> |
| 26 <command |
| 27 categoryId="com.xored.glance.ui.commands" |
| 28 description="Close Glance search panel" |
| 29 id="com.xored.glance.commands.close" |
| 30 name="Close Glance"> |
| 31 </command> |
| 32 <command |
| 33 categoryId="com.xored.glance.ui.commands" |
| 34 description="Show next Glance match" |
| 35 id="com.xored.glance.ui.nextResult" |
| 36 name="Next Match"> |
| 37 </command> |
| 38 <command |
| 39 categoryId="com.xored.glance.ui.commands" |
| 40 description="Show previous Glance match" |
| 41 id="com.xored.glance.ui.prevResult" |
| 42 name="Previous Match"> |
| 43 </command> |
| 44 <command |
| 45 categoryId="com.xored.glance.ui.commands" |
| 46 description="Return focus back from Glance search panel to control" |
| 47 id="com.xored.glance.commands.focus" |
| 48 name="Return Focus Back"> |
| 49 </command> |
| 50 <command |
| 51 categoryId="com.xored.glance.ui.commands" |
| 52 description="Clear Glance search history" |
| 53 id="com.xored.glance.commands.clearHistory" |
| 54 name="Clear History"> |
| 55 </command> |
| 56 <category |
| 57 description="Glance search commands" |
| 58 id="com.xored.glance.ui.commands" |
| 59 name="Glance"> |
| 60 </category> |
| 61 </extension> |
| 62 |
| 63 <extension point="org.eclipse.ui.bindings"> |
| 64 <key |
| 65 sequence="M1+F" |
| 66 contextId="org.eclipse.ui.contexts.dialogAndWindow" |
| 67 commandId="com.xored.glance.commands.open" |
| 68 schemeId="com.google.dart.tools.dartAcceleratorConfigura
tion"/> |
| 69 <key |
| 70 commandId="com.xored.glance.commands.focus" |
| 71 contextId="com.xored.glance.ui.context" |
| 72 schemeId="com.google.dart.tools.dartAcceleratorConfiguration" |
| 73 sequence="M1+F"> |
| 74 </key> |
| 75 <key |
| 76 commandId="com.xored.glance.commands.close" |
| 77 contextId="com.xored.glance.ui.context" |
| 78 schemeId="com.google.dart.tools.dartAcceleratorConfiguration" |
| 79 sequence="ESC"> |
| 80 </key> |
| 81 <key |
| 82 commandId="com.xored.glance.ui.nextResult" |
| 83 contextId="com.xored.glance.ui.context" |
| 84 schemeId="com.google.dart.tools.dartAcceleratorConfiguration" |
| 85 sequence="ENTER"> |
| 86 </key> |
| 87 <key |
| 88 commandId="com.xored.glance.ui.prevResult" |
| 89 contextId="com.xored.glance.ui.context" |
| 90 schemeId="com.google.dart.tools.dartAcceleratorConfiguration" |
| 91 sequence="M2+ENTER"> |
| 92 </key> |
| 93 <!-- |
| 94 <key |
| 95 commandId="com.xored.glance.commands.clearHistory" |
| 96 contextId="com.xored.glance.ui.context" |
| 97 schemeId="com.google.dart.tools.dartAcceleratorConfiguration" |
| 98 sequence="M1+M2+BS"> |
| 99 </key> |
| 100 <sequenceModifier find="M1+M3" replace="M1+M4" platforms="cocoa,carbon"/
> |
| 101 --> |
| 102 </extension> |
| 103 |
| 104 <!----> |
| 105 <extension point="org.eclipse.ui.preferencePages"> |
| 106 <page |
| 107 class="com.xored.glance.internal.ui.preferences.GlancePr
eferencePage" |
| 108 id="com.xored.glance.ui.preference" |
| 109 category="org.eclipse.ui.preferencePages.Workbench" |
| 110 name="Glance Search"/> |
| 111 </extension> |
| 112 <!----> |
| 113 |
| 114 <extension point="org.eclipse.core.runtime.preferences"> |
| 115 <initializer class="com.xored.glance.internal.ui.preferences.Gla
ncePreferenceInitializer"/> |
| 116 </extension> |
| 117 |
| 118 <extension point="org.eclipse.core.resources.markers" id="marker" name="
Glance Results"> |
| 119 <super type="org.eclipse.core.resources.textmarker"/> |
| 120 <attribute name="line"/> |
| 121 </extension> |
| 122 |
| 123 <extension point="org.eclipse.ui.ide.markerImageProviders"> |
| 124 <imageprovider |
| 125 id="com.xored.glance.ui.markerProvider" |
| 126 markertype="com.xored.glance.ui.marker" |
| 127 icon="icons/glance/marker.gif"> |
| 128 </imageprovider> |
| 129 </extension> |
| 130 |
| 131 <extension point="org.eclipse.ui.editors.annotationTypes"> |
| 132 <type |
| 133 name="com.xored.glance.ui.highlight" |
| 134 markerType="com.xored.glance.ui.marker"> |
| 135 </type> |
| 136 <type |
| 137 markerType="com.xored.glance.ui.marker" |
| 138 name="com.xored.glance.ui.select"> |
| 139 </type> |
| 140 </extension> |
| 141 <extension point="org.eclipse.ui.editors.markerAnnotationSpecification"> |
| 142 <!-- colorPreferenceValue="255,255,128" --> |
| 143 <specification |
| 144 annotationType="com.xored.glance.ui.highlight" |
| 145 label="Glance Results" |
| 146 icon="icons/glance/marker.gif" |
| 147 textPreferenceKey="glanceText" |
| 148 textPreferenceValue="false" |
| 149 highlightPreferenceKey="glanceHighlight" |
| 150 highlightPreferenceValue="true" |
| 151 overviewRulerPreferenceKey="glanceOverviewRuler" |
| 152 overviewRulerPreferenceValue="true" |
| 153 verticalRulerPreferenceKey="glanceVerticalRuler" |
| 154 verticalRulerPreferenceValue="true" |
| 155 colorPreferenceKey="glanceColorBackground" |
| 156 colorPreferenceValue="255,255,128" |
| 157 presentationLayer="5" |
| 158 showInNextPrevDropdownToolbarActionKey="glanceShowNextPr
ev" |
| 159 showInNextPrevDropdownToolbarAction="true" |
| 160 isGoToNextNavigationTargetKey="glanceGoNext" |
| 161 isGoToNextNavigationTarget="false" |
| 162 isGoToPreviousNavigationTargetKey="glanceGoPrev" |
| 163 isGoToPreviousNavigationTarget="false"> |
| 164 </specification> |
| 165 <!-- colorPreferenceValue="255,128,0" --> |
| 166 <specification |
| 167 annotationType="com.xored.glance.ui.select" |
| 168 colorPreferenceKey="glanceSelectedColorBackground" |
| 169 colorPreferenceValue="255,128,0" |
| 170 highlightPreferenceKey="glanceHighlight" |
| 171 highlightPreferenceValue="true" |
| 172 icon="icons/glance/marker.gif" |
| 173 isGoToNextNavigationTarget="false" |
| 174 isGoToNextNavigationTargetKey="glanceGoNext" |
| 175 isGoToPreviousNavigationTarget="false" |
| 176 isGoToPreviousNavigationTargetKey="glanceGoPrev" |
| 177 label="Glance Selected Result" |
| 178 overviewRulerPreferenceKey="glanceOverviewRuler" |
| 179 overviewRulerPreferenceValue="true" |
| 180 presentationLayer="6" |
| 181 showInNextPrevDropdownToolbarAction="true" |
| 182 showInNextPrevDropdownToolbarActionKey="glanceShowNextPrev" |
| 183 textPreferenceKey="glanceText" |
| 184 textPreferenceValue="false" |
| 185 verticalRulerPreferenceKey="glanceVerticalRuler" |
| 186 verticalRulerPreferenceValue="true"> |
| 187 </specification> |
| 188 </extension> |
| 189 <extension |
| 190 point="org.eclipse.ui.contexts"> |
| 191 <context |
| 192 id="com.xored.glance.ui.context" |
| 193 name="Glance Search Context"> |
| 194 </context> |
| 195 </extension> |
| 196 |
| 197 <extension point="com.xored.glance.ui.sources"> |
| 198 <source |
| 199 class="com.xored.glance.ui.controls.descriptors.StyledTextDescriptor" |
| 200 priority="1"/> |
| 201 <source |
| 202 class="com.xored.glance.ui.controls.descriptors.ListeningStyledTextDescrip
tor" |
| 203 priority="5"/> |
| 204 <source |
| 205 class="com.xored.glance.ui.controls.descriptors.TreeDescriptor" |
| 206 priority="1"/> |
| 207 <source |
| 208 class="com.xored.glance.ui.controls.descriptors.TableDescriptor" |
| 209 priority="1"/> |
| 210 <source |
| 211 class="com.xored.glance.ui.viewers.descriptors.SourceViewerDescriptor" |
| 212 priority="3"/> |
| 213 <source |
| 214 class="com.xored.glance.ui.viewers.descriptors.TextViewerDescriptor" |
| 215 priority="2"/> |
| 216 </extension> |
| 217 </plugin> |
OLD | NEW |