mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-09 04:59:31 -06:00
Fridge: don't carch on start-up in IE6.
This commit is contained in:
@@ -22,7 +22,7 @@ public class FridgeApp implements EntryPoint {
|
||||
protected static final String pgfBaseURL = "/pgf";
|
||||
|
||||
protected PGFWrapper pgf;
|
||||
|
||||
|
||||
protected JSONRequest translateRequest = null;
|
||||
|
||||
private FridgeBagPanel bagPanel;
|
||||
@@ -132,7 +132,7 @@ public class FridgeApp implements EntryPoint {
|
||||
}
|
||||
}
|
||||
});
|
||||
*/
|
||||
*/
|
||||
|
||||
ClickListener magnetClickListener = new ClickListener () {
|
||||
public void onClick(Widget widget) {
|
||||
@@ -269,13 +269,12 @@ public class FridgeApp implements EntryPoint {
|
||||
public void onModuleLoad() {
|
||||
statusPopup = new StatusPopup();
|
||||
|
||||
pgf = new PGFWrapper(new PGF(pgfBaseURL), new MySettingsListener());
|
||||
|
||||
pgf = new PGFWrapper(new PGF(pgfBaseURL));
|
||||
RootPanel.get().add(createUI());
|
||||
|
||||
pgf.addSettingsListener(new MySettingsListener());
|
||||
History.addHistoryListener(new MyHistoryListener());
|
||||
|
||||
updateSettingsFromHistoryToken();
|
||||
pgf.updateAvailableGrammars();
|
||||
}
|
||||
|
||||
}
|
||||
|
||||
@@ -36,13 +36,11 @@ public class PGFWrapper {
|
||||
private List<SettingsListener> listeners = new LinkedList<SettingsListener>();
|
||||
|
||||
|
||||
public PGFWrapper(PGF pgf, SettingsListener listener) {
|
||||
public PGFWrapper(PGF pgf) {
|
||||
this.pgf = pgf;
|
||||
addSettingsListener(listener);
|
||||
updateAvailableGrammars();
|
||||
}
|
||||
|
||||
protected void updateAvailableGrammars() {
|
||||
public void updateAvailableGrammars() {
|
||||
pgf.listGrammars(new PGF.GrammarNamesCallback() {
|
||||
public void onResult(PGF.GrammarNames grammarNames) {
|
||||
grammars = new ArrayList<String>();
|
||||
|
||||
@@ -197,13 +197,12 @@ public class TranslateApp implements EntryPoint {
|
||||
public void onModuleLoad() {
|
||||
statusPopup = new StatusPopup();
|
||||
|
||||
pgf = new PGFWrapper(new PGF(pgfBaseURL), new MySettingsListener());
|
||||
|
||||
pgf = new PGFWrapper(new PGF(pgfBaseURL));
|
||||
RootPanel.get().add(createUI());
|
||||
|
||||
pgf.addSettingsListener(new MySettingsListener());
|
||||
History.addHistoryListener(new MyHistoryListener());
|
||||
|
||||
updateSettingsFromHistoryToken();
|
||||
pgf.updateAvailableGrammars();
|
||||
}
|
||||
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user