diff dwt/browser/WindowEvent.d @ 17:5b53d338c709

Fixed some errors after latest merge
author Jacob Carlborg <doob@me.com> <jacob.carlborg@gmail.com>
date Fri, 29 Aug 2008 22:04:22 +0200
parents f565d3a95c0a e831403a80a9
children d8635bb48c7c
line wrap: on
line diff
--- a/dwt/browser/WindowEvent.d	Fri Aug 29 21:47:55 2008 +0200
+++ b/dwt/browser/WindowEvent.d	Fri Aug 29 22:04:22 2008 +0200
@@ -66,12 +66,12 @@
  *      });
  *      browser.addVisibilityWindowListener(new VisibilityWindowListener() {
  *          public void hide(WindowEvent event) {
- *              Browser browser = (Browser)event.widget;
+ *              Browser browser = cast(Browser)event.widget;
  *              Shell shell = browser.getShell();
  *              shell.setVisible(false);
  *          }
  *          public void show(WindowEvent event) {
- *              Browser browser = (Browser)event.widget;
+ *              Browser browser = cast(Browser)event.widget;
  *              Shell shell = browser.getShell();
  *              if (event.location !is null) shell.setLocation(event.location);
  *              if (event.size !is null) {
@@ -88,7 +88,7 @@
  *      });
  *      browser.addCloseWindowListener(new CloseWindowListener() {
  *          public void close(WindowEvent event) {
- *              Browser browser = (Browser)event.widget;
+ *              Browser browser = cast(Browser)event.widget;
  *              Shell shell = browser.getShell();
  *              shell.close();
  *          }