From 1e4ec3c7d227ddcebdc330f308dba95a1851c288 Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Tue, 8 Mar 2011 12:32:51 +0000
Subject: [PATCH] fix the grammar browser in the editor

---
 .../src/org/grammaticalframework/ui/gwt/client/BrowsePanel.java | 2 +-
 .../src/org/grammaticalframework/ui/gwt/client/EditorApp.java   | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

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);