GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-23 11:42:49 -06:00
Code Issues Packages Projects Releases Wiki Activity

added dummy search box for documents

Browse Source
This commit is contained in:
krasimir
2010-10-07 16:18:45 +00:00
parent 339de4c281
commit 52cd3d5cbd
2 changed files with 17 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
src/ui/gwt/src/org/grammaticalframework/ui/gwt/client/DocumentsPanel.java
View File

@@ -18,6 +18,15 @@ public class DocumentsPanel extends Composite {
VerticalPanel documentsPanel = new VerticalPanel(); VerticalPanel documentsPanel = new VerticalPanel();
documentsPanel.setStylePrimaryName("my-DocumentsFrame"); 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"); Label header = new Label("Documents");
header.setStylePrimaryName("my-DocumentsHeader"); header.setStylePrimaryName("my-DocumentsHeader");

8
src/ui/gwt/src/org/grammaticalframework/ui/gwt/public/Editor.css
View File

@@ -7,6 +7,14 @@
width: 100%; width: 100%;
} }
.my-DocumentsSearchFrame {
margin-bottom: 0.5em;
}
.my-DocumentsSearchFrame * {
margin: 0 0.4em;
}
.my-DocumentsHeader { .my-DocumentsHeader {
width: 100%; width: 100%;
background-attachement: scroll; background-attachement: scroll;