diff options
| author | krasimir <krasimir@chalmers.se> | 2011-03-08 12:32:51 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2011-03-08 12:32:51 +0000 |
| commit | 18519c20fdad76ebd8e36fce44a644042a4333eb (patch) | |
| tree | a8eed1ce4f937f5bad5a42c0add7554bf6d61d4b | |
| parent | 42ad2d5e95f1433d4878bb40d449efaedf841c6f (diff) | |
fix the grammar browser in the editor
| -rw-r--r-- | src/ui/gwt/src/org/grammaticalframework/ui/gwt/client/BrowsePanel.java | 2 | ||||
| -rw-r--r-- | src/ui/gwt/src/org/grammaticalframework/ui/gwt/client/EditorApp.java | 1 |
2 files changed, 2 insertions, 1 deletions
diff --git a/src/ui/gwt/src/org/grammaticalframework/ui/gwt/client/BrowsePanel.java b/src/ui/gwt/src/org/grammaticalframework/ui/gwt/client/BrowsePanel.java index ed5af3faf..3f4c8a9a4 100644 --- a/src/ui/gwt/src/org/grammaticalframework/ui/gwt/client/BrowsePanel.java +++ b/src/ui/gwt/src/org/grammaticalframework/ui/gwt/client/BrowsePanel.java @@ -42,7 +42,7 @@ public class BrowsePanel extends Composite { public native void onActivate() /*-{ $doc.browsePanel = this; $doc.callBrowse = @org.grammaticalframework.ui.gwt.client.BrowsePanel::callBrowse(Lorg/grammaticalframework/ui/gwt/client/BrowsePanel;Ljava/lang/String;); - }-*/; + }-*/; protected Widget createSearchPanel(CompletionOracle oracle) { searchBox = new SuggestBox(oracle); diff --git a/src/ui/gwt/src/org/grammaticalframework/ui/gwt/client/EditorApp.java b/src/ui/gwt/src/org/grammaticalframework/ui/gwt/client/EditorApp.java index bca76e7bb..ece9ecac8 100644 --- a/src/ui/gwt/src/org/grammaticalframework/ui/gwt/client/EditorApp.java +++ b/src/ui/gwt/src/org/grammaticalframework/ui/gwt/client/EditorApp.java @@ -368,6 +368,7 @@ public class EditorApp implements EntryPoint { break; case 3: parent.add(browsePanel); if (level == 0) History.newItem("browse", false); + browsePanel.onActivate(); break; case 4: parent.add(grammarsPanel); if (level == 0) History.newItem("grammars", false); |