0ct0pu5/wesnoth
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

eclipse plugin: Select another existing install as default...

Browse source 
...if we just deleted the default
This commit is contained in:
Timotei Dolean 2011-06-26 15:08:01 +00:00
parent 382b1a5b09
commit 96daba9e2d
1 changed files with 9 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
utils/umc_dev/org.wesnoth/src/org/wesnoth/preferences/WesnothInstallsPage.java
View file

@ -11,6 +11,7 @@ package org.wesnoth.preferences;
import java.io.File;
import java.util.ArrayList;
import java.util.HashMap;
import java.util.Iterator;
import java.util.List;
import java.util.Map;
@ -315,8 +316,16 @@ public class WesnothInstallsPage extends AbstractPreferencePage
prefs.setToDefault( installPrefix + Constants.P_WESNOTH_WMLTOOLS_DIR );
prefs.setToDefault( installPrefix + Constants.P_WESNOTH_WORKING_DIR );
// unset the default install if this was that
// and select another one (the first) - if any - as default
if ( install.Name.equals( Preferences.getDefaultInstallName( ) ) ) {
Preferences.setDefaultInstallName( "" ); //$NON-NLS-1$
if ( ! installs_.isEmpty( ) ){
// get the first item from the iterator
Iterator<WesnothInstall> itor = installs_.values( ).iterator( );
setInstallAsDefault( itor.next( ) );
}
}
// clear the current info