eclipse plugin: After removing an install...

...just reset the page state
2011-06-20 15:33:49 +00:00 · 2011-06-20 15:33:49 +00:00 · 7050ec20cc
commit 7050ec20cc
parent bfcdb641ce
1 changed files with 3 additions and 0 deletions
--- a/utils/java/org.wesnoth/src/org/wesnoth/preferences/WesnothInstallsPage.java
+++ b/utils/java/org.wesnoth/src/org/wesnoth/preferences/WesnothInstallsPage.java
@ -305,6 +305,9 @@ public class WesnothInstallsPage extends AbstractPreferencePage
        if (install != null && install.Name.equalsIgnoreCase( "default" ) == false){
            installs_.remove( install.Name );
            installsTableViewer_.refresh();
+
+            // clear the current info
+            newInstall( );
        }
    }