1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
|
var server_options = {
// grammars_url: "http://www.grammaticalframework.org/grammars/",
// grammars_url: "http://localhost:41296/grammars/",
}
var editor_options = {
target: "editor",
// initial: {
// grammar: "http://localhost:41296/grammars/Phrasebook.pgf",
// startcat: "Proposition",
// languages: ["Eng","Swe","Ita"],
// abstr: "PropOpenDate (SuperlPlace TheMostExpensive School) Tomorrow",
// node_id: null
// },
show: {
grammar_menu: true,
startcat_menu: true,
to_menu: true,
random_button: true
}
}
if(window.Minibar) // Minibar loaded?
editor_options.lin_action=function(s,langFrom) {
editor.shutdown();
var minibar_options = {
target: "editor",
show_abstract: true,
show_trees: true,
show_grouped_translations: false,
show_brackets: true,
word_replacements: true,
initial_grammar: editor.menu.ui.grammar_menu.value, // hmm
initial: {
from: langFrom,
input: s.split(" ") // is it that easy?
}
}
editor.minibar=new Minibar(server,minibar_options);
}
if(/^\?\/tmp\//.test(location.search)) {
var args=decodeURIComponent(location.search.substr(1)).split(" ")
if(args[0]) server_options.grammars_url=args[0];
}
var server = pgf_online(server_options);
var editor = new Editor(server, editor_options);
|
