diff options
author | Christophe Cornu | 2004-01-22 14:07:34 +0000 |
---|---|---|
committer | Christophe Cornu | 2004-01-22 14:07:34 +0000 |
commit | 180566b98ca53bf6542970194eaded0ccc2fd355 (patch) | |
tree | e933ecd83743e1c316ba791a361f2c47b87f3b81 /examples | |
parent | 97013ef1b335c90e5ca4c814db6f1829b18532fb (diff) | |
download | eclipse.platform.swt-180566b98ca53bf6542970194eaded0ccc2fd355.tar.gz eclipse.platform.swt-180566b98ca53bf6542970194eaded0ccc2fd355.tar.xz eclipse.platform.swt-180566b98ca53bf6542970194eaded0ccc2fd355.zip |
47936
Diffstat (limited to 'examples')
-rw-r--r-- | examples/org.eclipse.swt.examples/src/org/eclipse/swt/examples/browserexample/BrowserExample.java | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/examples/org.eclipse.swt.examples/src/org/eclipse/swt/examples/browserexample/BrowserExample.java b/examples/org.eclipse.swt.examples/src/org/eclipse/swt/examples/browserexample/BrowserExample.java index 5f91056d57..52b32934b8 100644 --- a/examples/org.eclipse.swt.examples/src/org/eclipse/swt/examples/browserexample/BrowserExample.java +++ b/examples/org.eclipse.swt.examples/src/org/eclipse/swt/examples/browserexample/BrowserExample.java @@ -130,6 +130,9 @@ public BrowserExample(Composite parent) { progressBar.setLayoutData(data); if (browser != null) { + itemBack.setEnabled(browser.isBackEnabled()); + itemForward.setEnabled(browser.isForwardEnabled()); + Listener listener = new Listener() { public void handleEvent(Event event) { ToolItem item = (ToolItem)event.widget; @@ -152,6 +155,8 @@ public BrowserExample(Composite parent) { } } public void completed(ProgressEvent event) { + itemBack.setEnabled(browser.isBackEnabled()); + itemForward.setEnabled(browser.isForwardEnabled()); progressBar.setSelection(0); busy = false; index = 0; @@ -308,7 +313,6 @@ public static void main(String [] args) { shell.setLayout(new FillLayout()); BrowserExample instance = new BrowserExample(shell); shell.setText(getResourceString("window.title")); - shell.setSize(800, 600); Image icon = new Image(display, BrowserExample.class.getResourceAsStream(iconLocation)); shell.setImage(icon); shell.open(); |