Changeset 238:380bad9f6852 for dwt/widgets/Shell.d
- Timestamp:
- 05/04/08 18:42:55 (4 years ago)
- Files:
-
- dwt/widgets/Shell.d (modified) (5 diffs)
Legend:
- Unmodified
- Added
- Removed
- Modified
- Copied
- Moved
dwt/widgets/Shell.d
r152 r238 12 12 *******************************************************************************/ 13 13 module dwt.widgets.Shell; 14 15 import dwt.dwthelper.utils; 14 16 15 17 import dwt.widgets.Composite; … … 640 642 OS.gtk_container_add (cast(GtkContainer*)vboxHandle, scrolledHandle); 641 643 OS.gtk_box_set_child_packing (cast(GtkBox*)vboxHandle, scrolledHandle, true, true, 0, OS.GTK_PACK_END); 642 char[]dummy = "a";644 String dummy = "a"; 643 645 OS.gtk_window_set_title (cast(GtkWindow*)shellHandle, dummy.ptr ); 644 646 if ((style & (DWT.NO_TRIM | DWT.BORDER | DWT.SHELL_TRIM)) is 0) { … … 796 798 if (this is newShell) return; 797 799 if (control is lastActive) setActiveControl (null); 798 char[]toolTipText = control.toolTipText;800 String toolTipText = control.toolTipText; 799 801 if (toolTipText !is null) { 800 802 control.setToolTipText (this, null); … … 1483 1485 } 1484 1486 1485 public override void setText ( char[]string) {1487 public override void setText (String string) { 1486 1488 super.setText (string); 1487 1489 … … 1756 1758 } 1757 1759 1758 void setToolTipText (GtkWidget* widget, char[]string) {1760 void setToolTipText (GtkWidget* widget, String string) { 1759 1761 char* buffer = toStringz( string ); 1760 1762 if (tooltipsHandle is null) {
