comparison dwt/widgets/ExpandItem.d @ 240:ce446666f5a2

Update to SWT 3.4M7
author Frank Benoit <benoit@tionex.de>
date Mon, 12 May 2008 19:13:01 +0200
parents 380bad9f6852
children 5a30aa9820f3
comparison
equal deleted inserted replaced
239:06a1f6829310 240:ce446666f5a2
288 * </ul> 288 * </ul>
289 */ 289 */
290 public int getHeaderHeight () { 290 public int getHeaderHeight () {
291 checkWidget (); 291 checkWidget ();
292 if (OS.GTK_VERSION >= OS.buildVERSION (2, 4, 0)) { 292 if (OS.GTK_VERSION >= OS.buildVERSION (2, 4, 0)) {
293 auto widget = OS.gtk_expander_get_label_widget (handle); 293 return OS.GTK_WIDGET_HEIGHT (handle) - (expanded ? height : 0);
294 return OS.GTK_WIDGET_HEIGHT (widget);
295 } 294 }
296 return Math.max (parent.getBandHeight (), imageHeight); 295 return Math.max (parent.getBandHeight (), imageHeight);
297 } 296 }
298 297
299 /** 298 /**
594 redraw (); 593 redraw ();
595 } 594 }
596 } 595 }
597 } 596 }
598 597
598 void setOrientation() {
599 super.setOrientation ();
600 if ((parent.style & DWT.RIGHT_TO_LEFT) !is 0) {
601 OS.gtk_widget_set_direction (handle, OS.GTK_TEXT_DIR_RTL);
602 display.doSetDirectionProc(handle, OS.GTK_TEXT_DIR_RTL);
603 }
604 }
605
599 public override void setText (String string) { 606 public override void setText (String string) {
600 super.setText (string); 607 super.setText (string);
601 if (OS.GTK_VERSION >= OS.buildVERSION (2, 4, 0)) { 608 if (OS.GTK_VERSION >= OS.buildVERSION (2, 4, 0)) {
602 OS.gtk_label_set_text (labelHandle, tango.stdc.stringz.toStringz(string)); 609 OS.gtk_label_set_text (labelHandle, tango.stdc.stringz.toStringz(string));
603 } else { 610 } else {