diff dwtx/novocode/ishell/internal/TitleBarButton.d @ 189:71ca5bcf2307

Replaced String alias with import dwt.dwthelper.util
author Frank Benoit <benoit@tionex.de>
date Sun, 26 Oct 2008 14:57:25 +0100
parents e3780acbbf80
children df4e66472aff
line wrap: on
line diff
--- a/dwtx/novocode/ishell/internal/TitleBarButton.d	Sun Oct 26 14:54:39 2008 +0100
+++ b/dwtx/novocode/ishell/internal/TitleBarButton.d	Sun Oct 26 14:57:25 2008 +0100
@@ -1,10 +1,10 @@
 /*******************************************************************************
  * Copyright (c) 2005 Stefan Zeiger and others.
- * All rights reserved. This program and the accompanying materials 
+ * All rights reserved. This program and the accompanying materials
  * are made available under the terms of the Eclipse Public License v1.0
  * which accompanies this distribution, and is available at
  * http://www.novocode.com/legal/epl-v10.html
- * 
+ *
  * Contributors:
  *     Stefan Zeiger (szeiger@novocode.com) - initial API and implementation
  *******************************************************************************/
@@ -59,15 +59,15 @@
     inactiveGradEndColor = display.getSystemColor(DWT.COLOR_TITLE_INACTIVE_BACKGROUND_GRADIENT);
     widgetBackgroundColor = display.getSystemColor(DWT.COLOR_WIDGET_BACKGROUND);
     widgetForegroundColor = display.getSystemColor(DWT.COLOR_WIDGET_FOREGROUND);
-    
+
     if((style & (DWT.CLOSE | DWT.MAX)) !is 0) rightOff = 2;
     else leftOff = 2;
-    
+
     activateListener = dgListener(&onActivateListener);
     deactivateListener = dgListener(&onDeactivateListener);
     shell.addListener(DWT.Activate, activateListener);
     shell.addListener(DWT.Deactivate, deactivateListener);
-    
+
     addListener(DWT.Dispose, dgListener(&onDispose));
   }
 
@@ -96,7 +96,7 @@
     return style;
   }
 
-  
+
   protected void onPaint(Event event, bool pressed)
   {
     Point size = getSize();
@@ -143,8 +143,8 @@
       drawImage(gc, size, 0);
     }
   }
-  
-  
+
+
   private void drawImage(GC gc, Point size, int pOff)
   {
     if((style & DWT.CLOSE) !is 0) drawCloseImage(gc, size, pOff);
@@ -167,8 +167,8 @@
     gc.drawLine(x, y, x + w - 1, y);
     gc.drawLine(x, y, x, y + h - 1);
   }
-  
-  
+
+
   private void drawCloseImage(GC gc, Point size, int pOff)
   {
     gc.drawLine(pOff+leftOff+4, pOff+5, pOff+size.x-leftOff-rightOff-6, pOff+size.y-7);