private void back() { wBrowser.back(); }
public void browseBack() { browser.back(); }
@Override public void back() { browser.back(); }
public void handleEvent(Event e) { // if (webBrowser == null) return; // webBrowser.GoBack(); if (swtBrowser != null) swtBrowser.back(); } });
public void handleEvent(Event e) { // if (webBrowser == null) return; // webBrowser.GoBack(); if (swtBrowser != null) swtBrowser.back(); } });
public static void backToolItemSelection(ActionContext actionContext){ Browser browser = (Browser) actionContext.get("browser"); browser.back(); }
public static void backToolItemSelection(ActionContext actionContext){ Browser browser = (Browser) actionContext.get("browser"); browser.back(); if(!browser.isBackEnabled()){ ((Thing) actionContext.get("htmlThing")).doAction("setValue", actionContext, UtilMap.toParams(new Object[]{"value", browser.getData()})); } }
String string = item.getText(); if (string.equals("Back")) browser.back(); else if (string.equals("Stop")) browser.stop();
&& event_location.indexOf("back()") > 0) { if (browser.isBackEnabled()) { browser.back(); } else if (lastValidURL != null) { fillWithRetry(event_location, "back");
@Override public boolean navigateBackward() { boolean success = false; if (getModel().isDynamic()) { // dynamic case. Uses navigation history. if (history.canNavigateBackward()) { history.navigateHistoryBackward(); // guard against unnecessary History updates. urlListener.flagStartOfNavigation(); if (history.currentLocationIsUrl()) { success = browser.setUrl(history.getCurrentLocationAsUrl()); } else { // we need to regen HTML. We can not use setting current // page to trigger regen for one case: navigating back from // a url will not trigger regen since current page would be // the same. AbstractIntroPage page = history.getCurrentLocationAsPage(); getModel().setCurrentPageId(page.getId(), false); success = generateContentForPage(page); } } else success = false; // update history only in dynamic case. updateNavigationActionsState(); } else // static HTML case. use browser real Back. success = browser.back(); return success; }
Listener listener = event -> { ToolItem item = (ToolItem)event.widget; if (item == itemBack) browser.back(); else if (item == itemForward) browser.forward(); else if (item == itemStop) browser.stop();
ToolItem item = (ToolItem) event.widget; if (item == itemBack) browser.back(); else if (item == itemForward) browser.forward();