Remove unnecessary explicit cast.
[phpeclipse.git] / net.sourceforge.phpeclipse.webbrowser / src / net / sourceforge / phpeclipse / webbrowser / internal / WebBrowser.java
index 961fd5d..6fc07d8 100644 (file)
@@ -139,7 +139,8 @@ public class WebBrowser extends Composite {
                                public void widgetSelected(SelectionEvent we) {
                                        try {
                                                if (combo.getSelectionIndex() != -1)
-                                                       setURL(combo.getItem(combo.getSelectionIndex()));
+                                                       setURL(combo.getItem(combo.getSelectionIndex()),
+                                                                       false);
                                        } catch (Exception e) {
                                        }
                                }
@@ -238,7 +239,8 @@ public class WebBrowser extends Composite {
                                        shell.dispose();
                                else {
                                        // #1365431 (toshihiro) editor.closeEditor(); causes NPE
-                               if (editor != null) editor.closeEditor();
+                                       if (editor != null)
+                                               editor.closeEditor();
                                }
                        }
                });
@@ -379,11 +381,12 @@ public class WebBrowser extends Composite {
                if (newURL != null)
                        url = newURL;
 
-               if (browse)
+               if (browse) {
                        navigate(url);
 
-               addToHistory(url);
-               updateHistory();
+                       addToHistory(url);
+                       updateHistory();
+               }
        }
 
        protected void addToHistory(String url) {
@@ -659,7 +662,7 @@ public class WebBrowser extends Composite {
                                                WebBrowserPreference.getHomePageURL().substring(9));
        }
 
-       protected String getURL() {
+       public String getURL() {
                return browser.getUrl();
        }