]> git.plutz.net Git - shellwiki/commitdiff
bugfix editor help: display of original language page
authorPaul Hänsch <paul@plutz.net>
Tue, 15 Aug 2023 11:33:49 +0000 (13:33 +0200)
committerPaul Hänsch <paul@plutz.net>
Tue, 15 Aug 2023 11:33:49 +0000 (13:33 +0200)
themes/default.sh

index b4dfe16bf9ff91950818e00ee777fe80606c7503..6c761a747aba50f42ae76a8d7e68caaafe0d650b 100755 (executable)
@@ -109,7 +109,7 @@ theme_editor(){
        done)
        </div>
        $(if [ "$LANGUAGE_DEFAULT" -a "$LANGUAGE_DEFAULT" != "$LANGUAGE" ]; then
-         printf '<div class="tab transl">%s</div>' "$(wiki_text "${page%/:$LANGUAGE/}" |HTML)"
+         printf '<div class="tab transl">%s</div>' "$(LANGUAGE='' wiki_text "${page%/:$LANGUAGE/}" |HTML)"
        fi)
        EOF
 }