diff dwt/widgets/DateTime.d @ 123:63a09873578e

Fixed compile errors
author Jacob Carlborg <doob@me.com>
date Thu, 15 Jan 2009 23:08:54 +0100
parents c7f7f4d7091a
children
line wrap: on
line diff
--- a/dwt/widgets/DateTime.d	Wed Dec 31 21:01:13 2008 +0100
+++ b/dwt/widgets/DateTime.d	Thu Jan 15 23:08:54 2009 +0100
@@ -32,6 +32,7 @@
 import tango.text.convert.Format;
 
 import Carbon = dwt.internal.c.Carbon;
+import dwt.internal.objc.cocoa.Cocoa;
 import dwt.widgets.Composite;
 import dwt.widgets.TypedListener;
 
@@ -63,7 +64,7 @@
  * @since 3.3
  */
 public class DateTime : Composite {
-
+    
 /**
  * Constructs a new instance of this class given its parent
  * and a style value describing its behavior and appearance.
@@ -100,12 +101,12 @@
 
 static int checkStyle (int style) {
     /*
-    * Even though it is legal to create this widget
-    * with scroll bars, they serve no useful purpose
-    * because they do not automatically scroll the
-    * widget's client area.  The fix is to clear
-    * the DWT style.
-    */
+     * Even though it is legal to create this widget
+     * with scroll bars, they serve no useful purpose
+     * because they do not automatically scroll the
+     * widget's client area.  The fix is to clear
+     * the DWT style.
+     */
     style &= ~(DWT.H_SCROLL | DWT.V_SCROLL);
     style = checkBits (style, DWT.MEDIUM, DWT.SHORT, DWT.LONG, 0, 0, 0);
     return checkBits (style, DWT.DATE, DWT.TIME, DWT.CALENDAR, 0, 0, 0);
@@ -271,7 +272,7 @@
 
 String getNameText() {
     return (style & DWT.TIME) !is 0 ? Format("{}{}{}{}{}", getHours() , ":" , getMinutes() , ":" , getSeconds())
-            : Format("{}{}{}{}{}", (getMonth() + 1) , "/" , getDay() , "/" , getYear());
+    : Format("{}{}{}{}{}", (getMonth() + 1) , "/" , getDay() , "/" , getYear());
 }
 
 /**
@@ -371,7 +372,7 @@
     checkWidget ();
     NSCalendarDate date = getCalendarDate();
     NSCalendarDate newDate = NSCalendarDate.dateWithYear(year, month + 1, day,
-            date.hourOfDay(), date.minuteOfHour(), date.secondOfMinute(), date.timeZone());
+                                                         date.hourOfDay(), date.minuteOfHour(), date.secondOfMinute(), date.timeZone());
     if (newDate.yearOfCommonEra() is year && newDate.monthOfYear() is month + 1 && newDate.dayOfMonth() is day) {
         (cast(NSDatePicker)view).setDateValue(newDate);
     }
@@ -394,7 +395,7 @@
     checkWidget ();
     NSCalendarDate date = getCalendarDate();
     NSCalendarDate newDate = NSCalendarDate.dateWithYear(date.yearOfCommonEra(), date.monthOfYear(), day,
-            date.hourOfDay(), date.minuteOfHour(), date.secondOfMinute(), date.timeZone());
+                                                         date.hourOfDay(), date.minuteOfHour(), date.secondOfMinute(), date.timeZone());
     if (newDate.yearOfCommonEra() is date.yearOfCommonEra() && newDate.monthOfYear() is date.monthOfYear() && newDate.dayOfMonth() is day) {
         (cast(NSDatePicker)view).setDateValue(newDate);
     }
@@ -428,7 +429,7 @@
     if (hours < 0 || hours > 23) return;
     NSCalendarDate date = getCalendarDate();
     NSCalendarDate newDate = NSCalendarDate.dateWithYear(date.yearOfCommonEra(), date.monthOfYear(), date.dayOfMonth(),
-            hours, date.minuteOfHour(), date.secondOfMinute(), date.timeZone());
+                                                         hours, date.minuteOfHour(), date.secondOfMinute(), date.timeZone());
     (cast(NSDatePicker)view).setDateValue(newDate);
 }
 
@@ -450,7 +451,7 @@
     if (minutes < 0 || minutes > 59) return;
     NSCalendarDate date = getCalendarDate();
     NSCalendarDate newDate = NSCalendarDate.dateWithYear(date.yearOfCommonEra(), date.monthOfYear(), date.dayOfMonth(),
-            date.hourOfDay(), minutes, date.secondOfMinute(), date.timeZone());
+                                                         date.hourOfDay(), minutes, date.secondOfMinute(), date.timeZone());
     (cast(NSDatePicker)view).setDateValue(newDate);
 }
 
@@ -471,7 +472,7 @@
     checkWidget ();
     NSCalendarDate date = getCalendarDate();
     NSCalendarDate newDate = NSCalendarDate.dateWithYear(date.yearOfCommonEra(), month + 1, date.dayOfMonth(),
-            date.hourOfDay(), date.minuteOfHour(), date.secondOfMinute(), date.timeZone());
+                                                         date.hourOfDay(), date.minuteOfHour(), date.secondOfMinute(), date.timeZone());
     if (newDate.yearOfCommonEra() is date.yearOfCommonEra() && newDate.monthOfYear() is month + 1 && newDate.dayOfMonth() is date.dayOfMonth()) {
         (cast(NSDatePicker)view).setDateValue(newDate);
     }
@@ -495,7 +496,7 @@
     if (seconds < 0 || seconds > 59) return;
     NSCalendarDate date = getCalendarDate();
     NSCalendarDate newDate = NSCalendarDate.dateWithYear(date.yearOfCommonEra(), date.monthOfYear(), date.dayOfMonth(),
-            date.hourOfDay(), date.minuteOfHour(), seconds, date.timeZone());
+                                                         date.hourOfDay(), date.minuteOfHour(), seconds, date.timeZone());
     (cast(NSDatePicker)view).setDateValue(newDate);
 }
 
@@ -518,7 +519,7 @@
     if (hours < 0 || hours > 23 || minutes < 0 || minutes > 59 || seconds < 0 || seconds > 59) return;
     NSCalendarDate date = getCalendarDate();
     NSCalendarDate newDate = NSCalendarDate.dateWithYear(date.yearOfCommonEra(), date.monthOfYear(), date.dayOfMonth(),
-            hours, minutes, seconds, date.timeZone());
+                                                         hours, minutes, seconds, date.timeZone());
     (cast(NSDatePicker)view).setDateValue(newDate);
 }
 
@@ -539,7 +540,7 @@
     checkWidget ();
     NSCalendarDate date = getCalendarDate();
     NSCalendarDate newDate = NSCalendarDate.dateWithYear(year, date.monthOfYear(), date.dayOfMonth(),
-            date.hourOfDay(), date.minuteOfHour(), date.secondOfMinute(), date.timeZone());
+                                                         date.hourOfDay(), date.minuteOfHour(), date.secondOfMinute(), date.timeZone());
     if (newDate.yearOfCommonEra() is year && newDate.monthOfYear() is date.monthOfYear() && newDate.dayOfMonth() is date.dayOfMonth()) {
         (cast(NSDatePicker)view).setDateValue(newDate);
     }