diff options
Diffstat (limited to 'src/ui')
| -rw-r--r-- | src/ui/gwt/src/org/grammaticalframework/ui/gwt/client/DocumentsPanel.java | 9 | ||||
| -rw-r--r-- | src/ui/gwt/src/org/grammaticalframework/ui/gwt/public/Editor.css | 8 |
2 files changed, 17 insertions, 0 deletions
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; |