diff options
| author | hallgren <hallgren@chalmers.se> | 2011-03-07 16:05:55 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-03-07 16:05:55 +0000 |
| commit | cfb5f6eb7e105e048abff5d99a5637bfa961cb9b (patch) | |
| tree | 124a58ccc35fb735bade6b4f432f7d5cb8b456d6 | |
| parent | 629919667bf2d2c52c6a9a85cbc13397d38ac815 (diff) | |
gfse: link back to the editor from the upload page
| -rw-r--r-- | src/editor/simple/upload.cgi | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/src/editor/simple/upload.cgi b/src/editor/simple/upload.cgi index f579c4ef2..b9fcc8d3a 100644 --- a/src/editor/simple/upload.cgi +++ b/src/editor/simple/upload.cgi @@ -30,10 +30,12 @@ check_grammar() { if gf -s -make $files 2>&1 ; then end h3 OK - begin ul - [ -z "$minibar" ] || { li; link "$minibar?/tmp/${dir##*/}/" "Minibar"; } - [ -z "$transquiz" ] || { li; link "$transquiz?/tmp/${dir##*/}/" "Translation Quiz"; } - [ -z "$gfshell" ] || { li; link "$gfshell?dir=${dir##*/}" "GF Shell"; } + begin dl + [ -z "$minibar" ] || { dt; echo "▸"; link "$minibar?/tmp/${dir##*/}/" "Minibar"; } + [ -z "$transquiz" ] || { dt; echo "▸"; link "$transquiz?/tmp/${dir##*/}/" "Translation Quiz"; } + [ -z "$gfshell" ] || { dt; echo "▸"; link "$gfshell?dir=${dir##*/}" "GF Shell"; } + dt ; echo "◂"; link "javascript:history.back()" "Back to Editor" + end begin pre ls -l *.pgf @@ -59,7 +61,7 @@ if [ -z "$tmp" ] || [ -z "$grammars" ] || echo "upload.cgi is not properly configured" # cgiconfig.sh must define tmp and grammars. - # cgiconfig.sh should minibar and gfshell to allow grammars to be tested. + # cgiconfig.sh should define minibar & gfshell to allow grammars to be tested. endall else case "$REQUEST_METHOD" in |