[eclipse] Active progress bar in splash screen.

Signed-off-by: Stéphane Galland <galland@arakhne.org>
sarl · Aug 25, 2016 · cc38918 · cc38918
1 parent f3c3353
commit cc38918
Show file tree

Hide file tree

Showing 3 changed files with 17 additions and 2 deletions.
diff --git a/eclipse-products/io.sarl.lang.updatesite/io.sarl.lang.product b/eclipse-products/io.sarl.lang.updatesite/io.sarl.lang.product
@@ -26,7 +26,10 @@
    <windowImages i16="/io.sarl.eclipse/icons/sarl_16.png" i32="/io.sarl.eclipse/icons/sarl_32.png" i48="/io.sarl.eclipse/icons/sarl_48.png" i64="/io.sarl.eclipse/icons/sarl_64.png" i128="/io.sarl.eclipse/icons/sarl_128.png" i256="/io.sarl.eclipse/icons/sarl_256.png"/>
 
    <splash
-      location="io.sarl.eclipse" />
+      location="io.sarl.eclipse"
+      startupProgressRect="5,280,442,15"
+      startupMessageRect="7,252,330,20"
+      startupForegroundColor="F3F3F3" />
    <launcher name="eclipse-sarl">
       <linux icon="icons/sarl.xpm"/>
       <macosx icon="icons/sarl.icns"/>

diff --git a/eclipse-sarl/plugins/io.sarl.eclipse/plugin.xml b/eclipse-sarl/plugins/io.sarl.eclipse/plugin.xml
@@ -249,6 +249,18 @@
                 name="preferenceCustomization"
                 value="platform:/plugin/io.sarl.eclipse/plugin_customization.ini">
           </property>
+          <property
+                name="startupProgressRect"
+                value="5,280,442,15">
+          </property>
+          <property
+                name="startupForegroundColor"
+                value="F3F3F3">
+          </property>
+          <property
+                name="startupMessageRect"
+                value="7,252,330,20">
+          </property>
        </product>
     </extension>
 

diff --git a/eclipse-sarl/plugins/io.sarl.eclipse/plugin_customization.ini b/eclipse-sarl/plugins/io.sarl.eclipse/plugin_customization.ini
@@ -3,4 +3,4 @@
 org.eclipse.ui/defaultPerspectiveId=io.sarl.eclipse.perspective.devel
 
 # Do not show the progress bar on the splash screen.
-org.eclipse.ui/SHOW_PROGRESS_ON_STARTUP = false
+org.eclipse.ui/SHOW_PROGRESS_ON_STARTUP = true