diff dwt/widgets/Canvas.d @ 58:a5c274fa5af9

extended helloworld crashing
author Frank Benoit <benoit@tionex.de>
date Sat, 12 Jan 2008 07:02:08 +0100
parents c86fc3d50cfa
children 8cec8f536af3
line wrap: on
line diff
--- a/dwt/widgets/Canvas.d	Sat Jan 12 01:53:16 2008 +0100
+++ b/dwt/widgets/Canvas.d	Sat Jan 12 07:02:08 2008 +0100
@@ -127,7 +127,7 @@
 	return caret;
 }
 
-Point getIMCaretPos () {
+override Point getIMCaretPos () {
 	if (caret is null) return super.getIMCaretPos ();
 	return new Point (caret.x, caret.y);
 }
@@ -153,14 +153,14 @@
 	return result;
 }
 
-void redrawWidget (int x, int y, int width, int height, bool redrawAll, bool all, bool trim) {
+override void redrawWidget (int x, int y, int width, int height, bool redrawAll, bool all, bool trim) {
 	bool isFocus = caret !is null && caret.isFocusCaret ();
 	if (isFocus) caret.killFocus ();
 	super.redrawWidget (x, y, width, height, redrawAll, all, trim);
 	if (isFocus) caret.setFocus ();
 }
 
-void releaseChildren (bool destroy) {
+override void releaseChildren (bool destroy) {
 	if (caret !is null) {
 		caret.release (false);
 		caret = null;
@@ -276,7 +276,7 @@
 	if (isFocus) caret.setFocus ();
 }
 
-int setBounds (int x, int y, int width, int height, bool move, bool resize) {
+override int setBounds (int x, int y, int width, int height, bool move, bool resize) {
 	bool isFocus = caret !is null && caret.isFocusCaret ();
 	if (isFocus) caret.killFocus ();
 	int result = super.setBounds (x, y, width, height, move, resize);
@@ -318,7 +318,7 @@
 	}
 }
 
-public void setFont (Font font) {
+override public void setFont (Font font) {
 	checkWidget();
 	if (caret !is null) caret.setFont (font);
 	super.setFont (font);