From b38618066722aa5000fc679ed07ebca63939e9fe Mon Sep 17 00:00:00 2001
From: =?utf8?q?Paul=20H=C3=A4nsch?= <paul@plutz.net>
Date: Mon, 14 Aug 2023 20:29:44 +0200
Subject: [PATCH] additional editor tab for translation aid

---
 themes/default.css | 22 +++++++++++++++-------
 themes/default.sh  |  7 +++++++
 2 files changed, 22 insertions(+), 7 deletions(-)

diff --git a/themes/default.css b/themes/default.css
index 1823d77..3e924b5 100644
--- a/themes/default.css
+++ b/themes/default.css
@@ -115,17 +115,19 @@ main pre {
   margin-bottom: 1em;
 }
 
+.tab[name=edithelp] ~ .tab.editor textarea,
+.tab[name=edithelp] ~ .tab.syntax,
+.tab[name=edithelp] ~ .tab.attach,
+.tab[name=edithelp] ~ .tab.transl {
+  background-color: #FFF;
+  min-height: 20em; min-height: 50vh;
+}
+
 .tab[name=edithelp] ~ .tab.editor textarea {
   width: 100%;
-  min-height: 20em; min-height: 50vh;
   font-family: monospace;
   font-size: inherit;
 }
-.tab[name=edithelp] ~ .tab.syntax,
-.tab[name=edithelp] ~ .tab.attach {
-  background-color: #FFF;
-  min-height: 20em; min-height: 50vh;
-}
 
 .tab[name=edithelp] ~ .tab.attach {
   padding-top: 1em;
@@ -137,9 +139,15 @@ main pre {
   margin-left: -6em;
 }
 
+.tab[name=edithelp] ~ .tab.transl {
+  font-family: monospace;
+  white-space: pre;
+}
+
 .tab[name=edithelp]#editor:checked ~ .tab.editor,
 .tab[name=edithelp]#syntax:checked ~ .tab.syntax,
-.tab[name=edithelp]#attach:checked ~ .tab.attach {
+.tab[name=edithelp]#attach:checked ~ .tab.attach,
+.tab[name=edithelp]#transl:checked ~ .tab.transl {
   display: block;
 }
 
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
 }
 
-- 
2.39.2