mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-11-04 11:15:27 -07:00
minibar: fix a mistake the previous bracket fix
This commit is contained in:
1 parent
72a58a8114
commit
667a1c0ef0
1 file changed
+1
-1
@@ -295,5 +295,5 @@ function draw_brackets(b) {
|
|||||||
function draw_bracketss(bs) {
|
function draw_bracketss(bs) {
|
||||||
return Array.isArray(bs)
|
return Array.isArray(bs)
|
||||||
? bs.map(draw_brackets) //with gf>3.5, in some cases
|
? bs.map(draw_brackets) //with gf>3.5, in some cases
|
||||||
: draw_brackets(b) // with gf<=3.5
|
: draw_brackets(bs) // with gf<=3.5
|
||||||
}
|
}
|
||||||
Reference in new issue
Block a user