| <idea-plugin version="2"> |
| <name>Shortcut Promoter</name> |
| <id>com.intellij.promoter</id> |
| <version>1.0</version> |
| <vendor>JetBrains</vendor> |
| <description>The plugin advertises to use shortcuts instead of mouse clicks</description> |
| <depends>com.intellij.modules.platform</depends> |
| |
| <application-components> |
| <component> |
| <implementation-class>com.intellij.promoter.ShortcutPromoterManager</implementation-class> |
| </component> |
| </application-components> |
| <extensionPoints> |
| <extensionPoint qualifiedName="com.intellij.shortcutPromoter" beanClass="com.intellij.promoter.ShortcutPromoterEP"/> |
| </extensionPoints> |
| <extensions defaultExtensionNs="com.intellij"> |
| <errorHandler implementation="com.intellij.diagnostic.ITNReporter"/> |
| <shortcutPromoter actionId="Debug" skip="3" repeat="2"/> |
| </extensions> |
| </idea-plugin> |