GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-23 18:02:54 -06:00
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'master' of https://github.com/GrammaticalFramework/gf-core

Browse Source
This commit is contained in:
krangelov
2019-08-30 08:12:52 +02:00
parent 72cfc1f48a 724bf67295
commit 1e8d684f9a
11 changed files with 26 additions and 67 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -220,7 +220,7 @@ Minibar.prototype.get_pgf_info=function() {
Minibar.prototype.show_pgf_info=function(info) {
var t=this;
var cnt=0;
console.log(info)
//console.log(info)
info=info.split("\n");
for(var i=0;i<info.length;i++) {
if(info[i]=="") info[i]="<p>"
@@ -270,6 +270,12 @@ Minibar.prototype.show_grammarinfo=function() {
var info=empty("div")
if(t.pgf_info) info.innerHTML=t.pgf_info
if(true || /^\/(tmp|grammars)\//.test(server.grammars_url)) {
var q="?"+server.grammars_url+" "+server.current_grammar_url
var link=node("a",{href:q})
link.appendChild(text(link.href));
info.appendChild(wrap("p",[text("Link directly to this grammar: "),link]))
}
clear(t.translations.main)
var hdr=[text(g.name)]

2
src/www/minibar/minibar_online.js
View File

@@ -21,7 +21,7 @@ var minibar_options= {
try_google: true
}
if(/^\?\/tmp\//.test(location.search)) {
if(/^\?\/(tmp|grammars)\//.test(location.search)) {
var args=decodeURIComponent(location.search.substr(1)).split(" ")
if(args[0]) online_options.grammars_url=args[0];
if(args[1]) minibar_options.initial_grammar=args[1];