[maven-release-plugin] prepare for next development iteration

[gpl/argeo-suite.git] / org.argeo.suite.workbench.rap / plugin.xml

diff --git a/org.argeo.suite.workbench.rap/plugin.xml b/org.argeo.suite.workbench.rap/plugin.xml
index a2a9829234c22f68065953f72b76af2a01021a0b..7d53ad59a88050816c8c57299a65a46410efae01 100644 (file)
--- a/org.argeo.suite.workbench.rap/plugin.xml
+++ b/org.argeo.suite.workbench.rap/plugin.xml
@@ -15,6 +15,14 @@
        <!-- VIEWS -->
         <extension
                point="org.eclipse.ui.views">
+               <view
+                       class="org.argeo.eclipse.spring.SpringExtensionFactory"
+                       icon="theme/argeo-classic/icons/search.png"
+                       id="org.argeo.suite.workbench.rap.quickSearchView"
+                       name="Search"
+                       restorable="true">
+               </view>
+               
        </extension>
                
        <!-- EDITORS --> 
@@ -24,7 +32,7 @@
                        id="org.argeo.suite.workbench.rap.defaultDashboardEditor"
                        class="org.argeo.eclipse.spring.SpringExtensionFactory"
                        icon="theme/argeo-classic/icons/dashboard.gif"
-                       name="My Dashboard">
+                       name="Dashboard">
                </editor>
        </extension>
        
@@ -77,13 +85,13 @@
                alias="/ui/suite/js/Chart.min.js"  
                base-name="js/Chart.min.js">  
          </resource>  
-         <!--<resource  
+         <resource  
                alias="/ui/suite/js/leaflet.js"  
                base-name="js/leaflet.js">  
          </resource>  
          <resource  
                alias="/ui/suite/js/leaflet.css"  
                base-name="js/leaflet.css">  
-         </resource>   -->
+         </resource>
     </extension>  
 </plugin>