diff dwt/widgets/Display.d @ 152:834420cb1486

Delete, arrow keys and backspace are now working in text fields
author Jacob Carlborg <doob@me.com>
date Thu, 11 Jun 2009 01:20:52 +0200
parents 1324fd764db4
children 535243e6d16a
line wrap: on
line diff
--- a/dwt/widgets/Display.d	Wed Jun 10 21:52:31 2009 +0200
+++ b/dwt/widgets/Display.d	Thu Jun 11 01:20:52 2009 +0200
@@ -3973,7 +3973,7 @@
         } else if (sel is OS.sel_insertText_) {
             widget.insertText (id, sel, arg0);
         } else if (sel is OS.sel_doCommandBySelector_) {
-            widget.doCommandBySelector (id, sel, cast(char*) arg0);
+            widget.doCommandBySelector (id, sel, cast(objc.SEL) arg0);
         } else if (sel is OS.sel_highlightSelectionInClipRect_) {
             widget.highlightSelectionInClipRect (id, sel, arg0);
         } else if (sel is OS.sel_reflectScrolledClipView_) {