comparison dwt/widgets/Widget.d @ 58:a5c274fa5af9

extended helloworld crashing
author Frank Benoit <benoit@tionex.de>
date Sat, 12 Jan 2008 07:02:08 +0100
parents 93981635e709
children 8cec8f536af3
comparison
equal deleted inserted replaced
57:d69eb5077fbb 58:a5c274fa5af9
1470 } 1470 }
1471 1471
1472 int /*long*/ windowProc (GtkWidget* handle, int /*long*/ arg0, int /*long*/ user_data) { 1472 int /*long*/ windowProc (GtkWidget* handle, int /*long*/ arg0, int /*long*/ user_data) {
1473 switch (cast(int)/*64*/user_data) { 1473 switch (cast(int)/*64*/user_data) {
1474 case EXPOSE_EVENT_INVERSE: { 1474 case EXPOSE_EVENT_INVERSE: {
1475 GdkEventExpose* gdkEvent = new GdkEventExpose (); 1475 GdkEventExpose* gdkEvent = cast(GdkEventExpose*) arg0;
1476 memmove (gdkEvent, cast(void*)arg0, GdkEventExpose.sizeof);
1477 auto paintWindow = paintWindow(); 1476 auto paintWindow = paintWindow();
1478 auto window = gdkEvent.window; 1477 auto window = gdkEvent.window;
1479 if (window !is paintWindow) return 0; 1478 if (window !is paintWindow) return 0;
1480 return (state & OBSCURED) !is 0 ? 1 : 0; 1479 return (state & OBSCURED) !is 0 ? 1 : 0;
1481 } 1480 }