X-Git-Url: https://git.plutz.net/?a=blobdiff_plain;f=themes%2Fdefault.sh;fp=themes%2Fdefault.sh;h=b4dfe16bf9ff91950818e00ee777fe80606c7503;hb=b38618066722aa5000fc679ed07ebca63939e9fe;hp=bb85450e05f4b3d2651932d4a705e8c230894f5a;hpb=0a472330f692be399e9c51d45a610d98435fb0d2;p=shellwiki

diff --git a/themes/default.sh b/themes/default.sh
index bb85450..b4dfe16 100755
--- a/themes/default.sh
+++ b/themes/default.sh
@@ -77,6 +77,10 @@ theme_editor(){
 	<input checked type=radio class=tab name=edithelp value=edtr id=editor><label for=editor>Editor</label>
 	<input         type=radio class=tab name=edithelp value=help id=syntax><label for=syntax>Syntax</label>
 	<input         type=radio class=tab name=edithelp value=att  id=attach><label for=attach>Attachments</label>
+	$([ "$LANGUAGE_DEFAULT" -a "$LANGUAGE_DEFAULT" != "$LANGUAGE" ] && printf '
+	<input         type=radio class=tab name=edithelp value=att  id=transl><label for=transl>%s</label>
+	' "$LANGUAGE_DEFAULT"
+	)
 	<form class="tab editor" method=POST action="$(HTML "${_BASE}${page%/}/[edit]")">
 	  <input type=hidden name=session_key value="${SESSION_KEY}"/>
 	  <textarea name=pagetext>$({ wiki_text "$page" \
@@ -104,6 +108,9 @@ theme_editor(){
 	  esac
 	done)
 	</div>
+	$(if [ "$LANGUAGE_DEFAULT" -a "$LANGUAGE_DEFAULT" != "$LANGUAGE" ]; then
+	  printf '<div class="tab transl">%s</div>' "$(wiki_text "${page%/:$LANGUAGE/}" |HTML)"
+	fi)
 	EOF
 }