Skip to content

Commit

Permalink
[eclipse] Launch the previous launched application by default.
Browse files Browse the repository at this point in the history
By default, when the user clicks on "Launch", the previously launched
application is launched.

close #485

Signed-off-by: Stéphane Galland <galland@arakhne.org>
  • Loading branch information
gallandarakhneorg committed Oct 27, 2016
1 parent 55ab308 commit ea39d47
Showing 1 changed file with 31 additions and 7 deletions.
38 changes: 31 additions & 7 deletions eclipse-sarl/plugins/io.sarl.eclipse/plugin_customization.ini
@@ -1,29 +1,53 @@
######
# Splash

# Show the progress bar on the splash screen.
org.eclipse.ui/SHOW_PROGRESS_ON_STARTUP = true

######
# UI


# Show the memory monitor
org.eclipse.ui/SHOW_MEMORY_MONITOR=true

# Property "org.eclipse.ui/defaultPerspectiveId" controls the
# perspective that the workbench opens initially
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 = true
# Enable line number ruler in all textual editors
org.eclipse.ui.editors/lineNumberRuler=true

######
# Resources

# Lightweight auto-refresh on access by default
# Enable refresh
org.eclipse.core.resources/refresh.enabled=true

# Enable the lightweight auto-refresh when accessing to a resource
org.eclipse.core.resources/refresh.lightweight.enabled=true

# Enable line number ruler in all textual editors by default
org.eclipse.ui.editors/lineNumberRuler=tru
# Auto-build the resources
org.eclipse.core.resources/description.autobuilding=true

######
# Run/Debug

# Always launch the last launched application when clicking on the "launch" button
org.eclipse.debug.ui/org.eclipse.debug.ui.UseContextualLaunch=false

######
# Intro-related preferences (Welcome page)

# Intro theme to use
org.eclipse.ui.intro/INTRO_THEME=org.eclipse.ui.intro.universal.solstice

# Root page links to show in the Universal Welcome
org.eclipse.ui.intro.universal/INTRO_ROOT_PAGES=overview, samples, whatsnew
#tutorials

# Use quadrant root page with quicklinks
org.eclipse.ui.intro/INTRO_START_PAGE = qroot
org.eclipse.ui.intro/INTRO_HOME_PAGE = qroot

# Initial page layout of the Universal Welcome
org.eclipse.ui.intro.universal/INTRO_DATA=product:intro/sarl_intro_data.xml
org.eclipse.ui.intro.universal/INTRO_DATA=product:intro/sarl_intro_data.xml

0 comments on commit ea39d47

Please sign in to comment.