From 52cd3d5cbd8494ebea1ac1b5ebc70313339aca3b Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Thu, 7 Oct 2010 16:18:45 +0000
Subject: [PATCH] added dummy search box for documents

---
 .../ui/gwt/client/DocumentsPanel.java                    | 9 +++++++++
 .../org/grammaticalframework/ui/gwt/public/Editor.css    | 8 ++++++++
 2 files changed, 17 insertions(+)

diff --git a/src/ui/gwt/src/org/grammaticalframework/ui/gwt/client/DocumentsPanel.java b/src/ui/gwt/src/org/grammaticalframework/ui/gwt/client/DocumentsPanel.java
index 1cdd99700..0ce7ab4fe 100644
--- a/src/ui/gwt/src/org/grammaticalframework/ui/gwt/client/DocumentsPanel.java
+++ b/src/ui/gwt/src/org/grammaticalframework/ui/gwt/client/DocumentsPanel.java
@@ -18,6 +18,15 @@ public class DocumentsPanel extends Composite {
 
 		VerticalPanel documentsPanel = new VerticalPanel();
 		documentsPanel.setStylePrimaryName("my-DocumentsFrame");
+
+		HorizontalPanel searchPanel = new HorizontalPanel();
+		searchPanel.setStylePrimaryName("my-DocumentsSearchFrame");
+		TextBox searchBox = new TextBox();
+		searchBox.setWidth("20em");
+		Button  searchBtn = new Button("Search");
+		searchPanel.add(searchBox);
+		searchPanel.add(searchBtn);
+		documentsPanel.add(searchPanel);
 		
 		Label header = new Label("Documents");
 		header.setStylePrimaryName("my-DocumentsHeader");
diff --git a/src/ui/gwt/src/org/grammaticalframework/ui/gwt/public/Editor.css b/src/ui/gwt/src/org/grammaticalframework/ui/gwt/public/Editor.css
index 784638848..377365f87 100644
--- a/src/ui/gwt/src/org/grammaticalframework/ui/gwt/public/Editor.css
+++ b/src/ui/gwt/src/org/grammaticalframework/ui/gwt/public/Editor.css
@@ -7,6 +7,14 @@
   width: 100%;
 }
 
+.my-DocumentsSearchFrame {
+    margin-bottom: 0.5em;
+}
+
+.my-DocumentsSearchFrame * {
+    margin: 0 0.4em;
+}
+
 .my-DocumentsHeader {
   width: 100%;
   background-attachement: scroll;