GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-22 01:22:51 -06:00
Code Issues Packages Projects Releases Wiki Activity

fix the grammar browser in the editor

Browse Source
This commit is contained in:
krasimir
2011-03-08 12:32:51 +00:00
parent 93dcac2819
commit 1e4ec3c7d2
2 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/ui/gwt/src/org/grammaticalframework/ui/gwt/client/BrowsePanel.java
View File

@@ -42,7 +42,7 @@ public class BrowsePanel extends Composite {
public native void onActivate() /*-{ public native void onActivate() /*-{
$doc.browsePanel = this; $doc.browsePanel = this;
$doc.callBrowse = @org.grammaticalframework.ui.gwt.client.BrowsePanel::callBrowse(Lorg/grammaticalframework/ui/gwt/client/BrowsePanel;Ljava/lang/String;); $doc.callBrowse = @org.grammaticalframework.ui.gwt.client.BrowsePanel::callBrowse(Lorg/grammaticalframework/ui/gwt/client/BrowsePanel;Ljava/lang/String;);
}-*/; }-*/;
protected Widget createSearchPanel(CompletionOracle oracle) { protected Widget createSearchPanel(CompletionOracle oracle) {
searchBox = new SuggestBox(oracle); searchBox = new SuggestBox(oracle);

1
src/ui/gwt/src/org/grammaticalframework/ui/gwt/client/EditorApp.java
View File

@@ -368,6 +368,7 @@ public class EditorApp implements EntryPoint {
break; break;
case 3: parent.add(browsePanel); case 3: parent.add(browsePanel);
if (level == 0) History.newItem("browse", false); if (level == 0) History.newItem("browse", false);
browsePanel.onActivate();
break; break;
case 4: parent.add(grammarsPanel); case 4: parent.add(grammarsPanel);
if (level == 0) History.newItem("grammars", false); if (level == 0) History.newItem("grammars", false);