From 507f938fad6366a60df69e7cbc55261fec4dae6c Mon Sep 17 00:00:00 2001
From: Vadim Lopatin <coolreader.org@gmail.com>
Date: Thu, 15 Jan 2015 17:51:09 +0300
Subject: [PATCH] dock window

---
 res/stdres/theme_default.xml | 33 +++++++++++++++++++++++++++++++++
 src/dlangide/ui/wspanel.d    | 11 +++++++----
 2 files changed, 40 insertions(+), 4 deletions(-)

diff --git a/res/stdres/theme_default.xml b/res/stdres/theme_default.xml
index bb6e304..61b0ffb 100644
--- a/res/stdres/theme_default.xml
+++ b/res/stdres/theme_default.xml
@@ -223,6 +223,39 @@
         padding="4,4,4,4"
 	layoutWeight="0"
         />
+    <style id="DOCK_HOST"
+        backgroundColor="#303080"
+        layoutWidth="FILL_PARENT"
+        layoutHeight="FILL_PARENT"
+        padding="4,4,4,4"
+        margins="4,4,4,4"
+        />
+    <style id="DOCK_WINDOW"
+        backgroundColor="#D0D0FF"
+        layoutWidth="FILL_PARENT"
+        layoutHeight="FILL_PARENT"
+        padding="1,1,1,1"
+        margins="4,4,4,4"
+        />
+    <style id="DOCK_WINDOW_CAPTION"
+        backgroundColor="#202060"
+        layoutWidth="FILL_PARENT"
+        layoutHeight="WRAP_CONTENT"
+        padding="1,1,1,1"
+        />
+    <style id="DOCK_WINDOW_CAPTION_LABEL"
+        textColor="#FFFFFF"
+        layoutWidth="FILL_PARENT"
+        layoutHeight="WRAP_CONTENT"
+        padding="2,2,2,2"
+        align="Left|VCenter"
+        />
+    <style id="DOCK_WINDOW_BODY"
+        backgroundColor="#FFFFFF"
+        layoutWidth="FILL_PARENT"
+        layoutHeight="FILL_PARENT"
+        padding="1,1,1,1"
+        />
     <style id="TREE_ITEM"
         padding="2,2,2,2"
         margins="0,0,0,0"
diff --git a/src/dlangide/ui/wspanel.d b/src/dlangide/ui/wspanel.d
index 24a8e69..0bc673b 100644
--- a/src/dlangide/ui/wspanel.d
+++ b/src/dlangide/ui/wspanel.d
@@ -4,18 +4,21 @@ import dlangui.all;
 import dlangide.workspace.workspace;
 import dlangide.workspace.project;
 
-class WorkspacePanel : VerticalLayout {
+class WorkspacePanel : DockWindow {
     protected Workspace _workspace;
     protected TreeWidget _tree;
 
     this(string id) {
         super(id);
-        layoutHeight = FILL_PARENT;
+        workspace = null;
         layoutWidth = 200;
+        _caption.text = "Workspace Explorer"d;
+    }
+
+    override protected Widget createBodyWidget() {
         _tree = new TreeWidget("wstree");
         _tree.layoutHeight = FILL_PARENT;
-        addChild(_tree);
-        workspace = null;
+        return _tree;
     }
 
     @property Workspace workspace() {