GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-09 04:59:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

minibar: adapt to changed bracket structure in linearization output

Browse Source
This commit is contained in:
hallgren
2013-11-06 16:45:24 +00:00
parent 6c71830c10
commit dcbe3533d0
2 changed files with 31 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

35
src/www/minibar/minibar_input.js
View File

@@ -370,23 +370,36 @@ Input.prototype.end_structural_editing=function() {
}
}
Input.prototype.enable_structural_editing=function(brackets,tree) {
Input.prototype.enable_structural_editing=function(bracketss,tree) {
var t=this;
with(t) {
var typed=surface.typed;
function add_bs(b,parent) {
if(b.token) {
var fun=parent.fun,cat=parent.cat;
function showrepl() { t.show_replacements(brackets,parent,tree)}
var w= span_class("word editable",text(b.token));
if(fun && cat) w.onclick=showrepl
w.title=(fun||"_")+":"+(cat||"_")+" "+parent.fid+":"+parent.index
surface.insertBefore(w,typed);
function add_bracket(brackets) {
function add_bs(b,parent) {
if(b.token) {
var fun=parent.fun,cat=parent.cat;
function showrepl() {
t.show_replacements(brackets,parent,tree)
}
if(fun && cat) {
var w= span_class("word editable",text(b.token));
w.onclick=showrepl
}
else
var w= span_class("word",text(b.token));
w.title=(fun||"_")+":"+(cat||"_")+" "+parent.fid+":"+parent.index
surface.insertBefore(w,typed);
}
else b.children.map(function(c){add_bs(c,b)})
}
else b.children.map(function(c){add_bs(c,b)})
add_bs(brackets,null)
}
remove_surface_words()
add_bs(brackets);
//add_bs(brackets);
if(Array.isArray(bracketss))
bracketss.map(add_bracket) // gf>3.5
else
add_bracket(bracketss) // gf<=3.5
t.surface.structural_editing_enabled=true;
}
}

8
src/www/minibar/minibar_translations.js
View File

@@ -207,7 +207,7 @@ Translations.prototype.show_translations=function(translationResults) {
trans.appendChild(wrap("pre",text(errs[i].msg)))
}
if(options.show_brackets)
trans.appendChild(div_class("brackets",draw_brackets(bra)));
trans.appendChild(div_class("brackets",draw_bracketss(bra)));
}
}
@@ -291,3 +291,9 @@ function draw_brackets(b) {
title:(b.fun||"_")+":"+b.cat+" "+b.fid+":"+b.index},
b.children.map(draw_brackets))
}
function draw_bracketss(bs) {
return Array.isArray(bs)
? bs.map(draw_brackets) //with gf>3.5, in some cases
: draw_brackets(b) // with gf<=3.5
}