--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/dwt/internal/theme/TabFolderDrawData.d	Sat Aug 09 17:00:02 2008 +0200
@@ -0,0 +1,31 @@
+/*******************************************************************************
+ * Copyright (c) 2000, 2006 IBM Corporation and others.
+ * 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.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ *     IBM Corporation - initial API and implementation
+ *******************************************************************************/
+module dwt.internal.theme;
+
+import dwt.*;
+import dwt.graphics.*;
+
+public class TabFolderDrawData : DrawData {
+    public int tabsWidth;
+    public int tabsHeight;
+    public Rectangle tabsArea;
+    public int selectedX;
+    public int selectedWidth;
+    public int spacing;
+    
+public TabFolderDrawData() {
+    state = new int[1];
+    if (DWT.getPlatform().opEquals("gtk")) {
+        spacing = -2;
+    }
+}
+
+}