forked from GitHub/gf-core
93ba5b7b37
Also bumped version number in gf.cabal to 3.6-darcs. Also removed some unecessary use of CPP.
333 lines
11 KiB
JavaScript
333 lines
11 KiB
JavaScript
/* minibar.js
|
||
needs: minibar_support.js, minibar_input.js, minibar_translations.js, support.js
|
||
*/
|
||
|
||
/*
|
||
// This is essentially what happens when you call start_minibar:
|
||
if(server.grammar_list) grammars=server.grammar_list;
|
||
else grammars=server.get_grammarlist();
|
||
show_grammarlist(grammars)
|
||
select_grammar(grammars[0])
|
||
grammar_info=server.get_languages()
|
||
show_languages(grammar_info)
|
||
new_language()
|
||
complete_output=get_completions()
|
||
show_completions(complete_output)
|
||
*/
|
||
|
||
// For backward compatibility:
|
||
function start_minibar(server,opts,target) {
|
||
if(target) opts.target=target;
|
||
return new Minibar(server,opts);
|
||
}
|
||
|
||
/* --- Main Minibar object -------------------------------------------------- */
|
||
function Minibar(server,opts) {
|
||
// Contructor, typically called when the HTML document is loaded
|
||
|
||
/* --- Configuration ---------------------------------------------------- */
|
||
|
||
// default values for options:
|
||
this.options={
|
||
target: "minibar",
|
||
try_google: true,
|
||
feedback_url: null,
|
||
help_url: null,
|
||
initial_grammar: null
|
||
}
|
||
|
||
// Apply supplied options
|
||
this.server=server;
|
||
if(opts) for(var o in opts) this.options[o]=opts[o];
|
||
|
||
// LocalStorage
|
||
this.local=appLocalStorage("gf.minibar.")
|
||
|
||
/* --- Syntax editor integration ---------------------------------------- */
|
||
if(!this.options.abstract_action) this.integrate_syntax_editor()
|
||
|
||
/* --- Creating the components of the minibar --------------------------- */
|
||
this.translations=new Translations(server,this.options)
|
||
this.input=new Input(server,this.translations,this.options)
|
||
|
||
/* --- Creating user interface elements --------------------------------- */
|
||
|
||
this.menubar=div_class("menubar");
|
||
this.extra=div_id("extra");
|
||
|
||
this.minibar=element(this.options.target);
|
||
this.minibar.innerHTML="";
|
||
with(this) {
|
||
appendChildren(menubar,[input.menus,translations.menus,input.buttons])
|
||
appendChildren(minibar,[menubar,input.main,translations.main,extra]);
|
||
if(options.help_url)
|
||
menubar.appendChild(button("Help",bind(open_help,this)));
|
||
append_extra_buttons(extra,options);
|
||
}
|
||
this.set_hidden = function(b) {
|
||
this.hidden=b
|
||
this.minibar.style.display= b ? "none" : ""
|
||
}
|
||
this.hide = function() { this.set_hidden(true); }
|
||
this.show = function() { this.set_hidden(false); }
|
||
|
||
/* --- Minibar client state initialisation ------------------------------ */
|
||
this.grammar=null;
|
||
|
||
/* --- Main program, this gets things going ----------------------------- */
|
||
with(this) {
|
||
server.get_grammarlists(bind(show_grammarlist,this));
|
||
}
|
||
}
|
||
|
||
Minibar.prototype.integrate_syntax_editor=function() {
|
||
var minibar=this
|
||
var editor_target="syntax_editor"
|
||
var e=element(editor_target)
|
||
if(!e || !window.Editor) return
|
||
|
||
e.style.display="none"
|
||
minibar.options.abstract_action=function(tree) {
|
||
function not_all(s) { return s!="All" }
|
||
var languages=filter(not_all,minibar.translations.toLangs)
|
||
var editor_options = {
|
||
target: editor_target,
|
||
show_grammar_menu: minibar.grammars.length>1,
|
||
show_startcat_menu: minibar.input.options.startcat_menu,
|
||
initial: { grammar: minibar.grammar_menu.value, // hmm
|
||
startcat: minibar.input.startcat_menu.value, // hmm
|
||
languages: languages,
|
||
abstr: tree
|
||
},
|
||
lin_action: function(new_input,langFrom) {
|
||
console.log(editor.menu.ui.grammar_menu.value)
|
||
var grammar_url=editor.menu.ui.grammar_menu.value // hmm
|
||
|| minibar.server.current_grammar_url // hmm
|
||
var startcat=editor.get_startcat()
|
||
|| minibar.input.startcat_menu.value // hmm
|
||
var toLangs=gm.languages // hmm
|
||
minibar.input.set_input_for(grammar_url,
|
||
{from:langFrom,
|
||
startcat:startcat,
|
||
input:gf_lex(new_input)})
|
||
minibar.translations.set_toLangs_for(grammar_url,toLangs)
|
||
|
||
//Better: keep editor around and reactivate it next time:
|
||
editor.hide()
|
||
// ...
|
||
|
||
//Easier: delete the editor and create a new one next time:
|
||
clear(editor.container)
|
||
editor=minibar.editor=null;
|
||
|
||
// Even if the grammar is the same as before, this call is
|
||
// what eventually triggers the new_input to be loaded:
|
||
minibar.select_grammar(grammar_url)
|
||
|
||
// Make the minibar visible again
|
||
minibar.show()
|
||
}
|
||
}
|
||
minibar.hide()
|
||
var gm = new GrammarManager(minibar.server,editor_options);
|
||
var editor=minibar.editor=new Editor(gm,editor_options)
|
||
editor.show()
|
||
}
|
||
}
|
||
|
||
Minibar.prototype.get_current_input=function(cont) {
|
||
var t=this
|
||
if(!t.hidden) cont(gf_unlex(t.input.current.input))
|
||
else {
|
||
var tree=t.editor.get_ast()
|
||
function pick(lins) { cont(lins[0].text) }
|
||
t.server.linearize({tree:tree,to:t.input.current.from},pick)
|
||
}
|
||
}
|
||
|
||
Minibar.prototype.show_grammarlist=function(dir,grammar_names,dir_count) {
|
||
var t=this;
|
||
var first_time= !t.grammar_menu
|
||
if(first_time) {
|
||
t.grammar_menu=empty_id("select","grammar_menu");
|
||
t.grammars=[];
|
||
t.grammar_dirs=[];
|
||
}
|
||
|
||
t.grammar_dirs.push(dir);
|
||
t.grammars=t.grammars.concat(grammar_names.map(function(g){return dir+g}))
|
||
function glabel(g) {
|
||
return hasPrefix(dir,"/tmp/gfse.") ? "gfse: "+g : g
|
||
}
|
||
function opt(g) { return option(glabel(g),dir+g); }
|
||
appendChildren(t.grammar_menu,map(opt,grammar_names));
|
||
function pick() {
|
||
var grammar_url=t.grammar_menu.value
|
||
t.local.put("last_grammar",grammar_url)
|
||
t.select_grammar(grammar_url);
|
||
}
|
||
function pick_first_grammar() {
|
||
if(t.timeout) clearTimeout(t.timeout),t.timeout=null;
|
||
if(t.grammar_menu.length>1 && !t.grammar_menu.parentElement) {
|
||
t.grammar_menu.onchange=pick;
|
||
insertFirst(t.menubar,title("Show grammar info",button("i",bind(t.show_grammarinfo,t))))
|
||
insertFirst(t.menubar,t.grammar_menu);
|
||
insertFirst(t.menubar,text("Grammar: "));
|
||
}
|
||
var grammar0=t.options.initial_grammar
|
||
if(!grammar0) {
|
||
var last_grammar=t.local.get("last_grammar");
|
||
if(last_grammar && elem(last_grammar,t.grammars))
|
||
grammar0=last_grammar;
|
||
}
|
||
if(!grammar0) grammar0=t.grammars[0];
|
||
t.grammar_menu.value=grammar0;
|
||
t.select_grammar(grammar0);
|
||
}
|
||
// Wait at most 1.5s before showing the grammar menu.
|
||
if(first_time) t.timeout=setTimeout(pick_first_grammar,1500);
|
||
if(t.grammar_dirs.length>=dir_count) pick_first_grammar();
|
||
|
||
}
|
||
|
||
Minibar.prototype.select_grammar=function(grammar_url) {
|
||
var t=this;
|
||
//debug("select_grammar ");
|
||
function change_grammar() {
|
||
t.server.grammar_info(bind(t.change_grammar,t));
|
||
}
|
||
t.server.switch_to_other_grammar(grammar_url,change_grammar);
|
||
}
|
||
|
||
Minibar.prototype.change_grammar=function(grammar_info) {
|
||
var t=this;
|
||
//debug("show_languages ");
|
||
t.grammar=grammar_info;
|
||
t.input.change_grammar(grammar_info)
|
||
t.translations.change_grammar(grammar_info)
|
||
}
|
||
|
||
Minibar.prototype.show_grammarinfo=function() {
|
||
var t=this
|
||
var g=this.grammar;
|
||
function draw_cats(cats) {
|
||
function draw_cat(cat) {
|
||
var i=cats[cat]
|
||
return tr([td(text(i.def)),
|
||
td(text(i.producers.join(", "))),
|
||
td(text(i.consumers.join(", ")))])
|
||
}
|
||
var table=wrap_class("table","browse",g.categories.map(draw_cat))
|
||
var hdr=tr([th(text("Category")),
|
||
th(text("Producers")),
|
||
th(text("Consumers"))])
|
||
insertFirst(table,hdr)
|
||
return table
|
||
}
|
||
function draw_funs(funs) {
|
||
function draw_fun(fun) {
|
||
var def=funs[fun].def.split(":")
|
||
return tr([td(text(def[0])),td(text(":")),td(text(def[1]||""))])
|
||
}
|
||
return div_class("browse",wrap("table",g.functions.map(draw_fun)))
|
||
}
|
||
function draw_more(info) {
|
||
replaceChildren(cats,draw_cats(info.cats))
|
||
replaceChildren(funs,draw_funs(info.funs))
|
||
btn.disabled=true;
|
||
}
|
||
|
||
function more() { t.server.browse({},draw_more) }
|
||
|
||
var cats=wrap("div",text(g.categories.join(", ")))
|
||
var funs=wrap("div",text(g.functions.join(", ")))
|
||
var btn=button("More info",more)
|
||
|
||
clear(t.translations.main)
|
||
var hdr=[text(g.name)]
|
||
if(g.lastmodified) {
|
||
hdr.push(text(" "))
|
||
hdr.push(wrap("small",text("("+g.lastmodified+")")))
|
||
}
|
||
appendChildren(this.translations.main,
|
||
[wrap("h3",hdr),
|
||
btn,
|
||
wrap("h4",text("Start category")), text(g.startcat || ""),
|
||
wrap("h4",text("Categories")), cats,
|
||
wrap("h4",text("Functions")), funs])
|
||
}
|
||
|
||
Minibar.prototype.append_extra_buttons=function(extra,options) {
|
||
with(this) {
|
||
if(options.try_google)
|
||
extra.appendChild(button("Try Google Translate",bind(try_google,this)));
|
||
if(options.feedback_url) {
|
||
var b=button("Feedback",bind(open_feedback,this));
|
||
b.title="Click to suggest improvements. Select a language in the To: menu first to suggest a better translation to that language."
|
||
appendChildren(extra,[text(" "),b]);
|
||
}
|
||
}
|
||
}
|
||
|
||
Minibar.prototype.try_google=function() {
|
||
with(this) {
|
||
var to=translations.target_lang();
|
||
var s=gf_unlex(input.current.input);
|
||
if(input.surface.typed) s+=" "+input.surface.typed.value;
|
||
var url="http://translate.google.com/?sl="
|
||
+langpart(input.current.from,grammar.name);
|
||
if(to!="All") url+="&tl="+to;
|
||
url+="&q="+encodeURIComponent(s);
|
||
window.open(url);
|
||
}
|
||
}
|
||
|
||
Minibar.prototype.open_help=function() {
|
||
open_popup(this.options.help_url,"help");
|
||
}
|
||
|
||
Minibar.prototype.open_feedback=function() {
|
||
with(this) {
|
||
// make the minibar state easily accessible from the feedback page:
|
||
minibar.state={grammar:grammar,current:input.current,
|
||
to:translations.to_menu.value,
|
||
translations:translations.main};
|
||
open_popup(options.feedback_url,'feedback');
|
||
}
|
||
}
|
||
|
||
// This function is called from feedback.html
|
||
function prefill_feedback_form() {
|
||
var state=opener_element("minibar").state;
|
||
var trans=state.translations;
|
||
var gn=state.grammar.name
|
||
var to=langpart(state.to,gn);
|
||
|
||
var form=document.forms.namedItem("feedback");
|
||
setField(form,"grammar",gn);
|
||
setField(form,"from",langpart(state.current.from,gn));
|
||
setField(form,"input",gf_unlex(state.current.input));
|
||
setField(form,"to",to);
|
||
if(to=="All") element("translation_box").innerHTML=" To suggest a better translation to a particular language, select that language in the To: menu before pressing the Feedback button."
|
||
else setField(form,"translation",trans.single_translation.join(" / "));
|
||
|
||
// Browser info:
|
||
form["inner_size"].value=window.innerWidth+"×"+window.innerHeight;
|
||
form["outer_size"].value=window.outerWidth+"×"+window.outerHeight;
|
||
form["screen_size"].value=screen.width+"×"+screen.height;
|
||
form["available_screen_size"].value=screen.availWidth+"×"+screen.availHeight;
|
||
form["color_depth"].value=screen.colorDepth;
|
||
form["pixel_depth"].value=screen.pixelDepth;
|
||
|
||
window.focus();
|
||
}
|
||
|
||
|
||
/*
|
||
se.chalmers.cs.gf.gwt.TranslateApp/align-btn.png
|
||
|
||
GET /grammars/Foods.pgf?&command=abstrtree&tree=Pred+(This+Fish)+(Very+Fresh)
|
||
GET /grammars/Foods.pgf?&command=parsetree&tree=Pred+(This+Fish)+Expensive&from=FoodsAfr
|
||
GET /grammars/Foods.pgf?&command=alignment&tree=Pred+(This+Fish)+Expensive
|
||
*/
|