--- a/dwt/widgets/Shell.d	Sat Apr 26 10:01:30 2008 +0200
+++ b/dwt/widgets/Shell.d	Mon May 05 00:42:55 2008 +0200
@@ -12,6 +12,8 @@
  *******************************************************************************/
 module dwt.widgets.Shell;
 
+import dwt.dwthelper.utils;
+
 import dwt.widgets.Composite;
 import dwt.widgets.Control;
 import dwt.internal.c.gtk;
@@ -639,7 +641,7 @@
         createHandle (index, false, true);
         OS.gtk_container_add (cast(GtkContainer*)vboxHandle, scrolledHandle);
         OS.gtk_box_set_child_packing (cast(GtkBox*)vboxHandle, scrolledHandle, true, true, 0, OS.GTK_PACK_END);
-        char[] dummy = "a";
+        String dummy = "a";
         OS.gtk_window_set_title (cast(GtkWindow*)shellHandle, dummy.ptr );
         if ((style & (DWT.NO_TRIM | DWT.BORDER | DWT.SHELL_TRIM)) is 0) {
             OS.gtk_container_set_border_width (cast(GtkContainer*)shellHandle, 1);
@@ -795,7 +797,7 @@
 void fixShell (Shell newShell, Control control) {
     if (this is newShell) return;
     if (control is lastActive) setActiveControl (null);
-    char[] toolTipText = control.toolTipText;
+    String toolTipText = control.toolTipText;
     if (toolTipText !is null) {
         control.setToolTipText (this, null);
         control.setToolTipText (newShell, toolTipText);
@@ -1482,7 +1484,7 @@
 override void setRelations() {
 }
 
-public override void setText (char[] string) {
+public override void setText (String string) {
     super.setText (string);
 
     /*
@@ -1755,7 +1757,7 @@
     lastActive = null;
 }
 
-void setToolTipText (GtkWidget* widget, char[] string) {
+void setToolTipText (GtkWidget* widget, String string) {
     char* buffer = toStringz( string );
     if (tooltipsHandle is null) {
         tooltipsHandle = cast(GtkWidget*)OS.gtk_tooltips_new ();