added font spacing option

unhandyandy · Sep 10, 2024 · 83921bf · 83921bf
1 parent 5ba3ada
commit 83921bf
Show file tree

Hide file tree

Showing 3 changed files with 12 additions and 2 deletions.
diff --git a/annotationAid/blank.html b/annotationAid/blank.html
@@ -12,6 +12,7 @@
 		    <option>Controls</option>
 		    <option>Transl. Win.</option>
 		    <option id="wordStartOpt">Word Start</option>
+		    <option id="fontSpacing">Font Spacing</option>
 		    <option>Find Note</option>
 		    <option>Lang->Search</option>
 		    <option>Export</option>

diff --git a/annotationAid/script.js b/annotationAid/script.js
@@ -199,7 +199,8 @@ function saveInnards(){
 	"translation":transText.value,
 	"href":searchStr,
 	"wordStart":wordStart,
-	"savePrefix":savePrefix }
+	"savePrefix":savePrefix,
+	"fontFamily":inputText.style.fontFamily }
     localStorage.setItem(title,JSON.stringify(storageObj));
     const langObj = {
 	"vocabulary":vocabulary,
@@ -254,6 +255,7 @@ function restore(){
 	searchStr = storageObj["href"];
 	wordStart = storageObj["wordStart"];
 	savePrefix = storageObj["savePrefix"];
+	inputText.style.fontFamily = storageObj["fontFamily"];
     }
     restoreLang(savePrefix);
     setWSBText();
@@ -637,11 +639,18 @@ function controlHandler(e){
 	makeSearchStr(); }
     else if(v==="Export"){
 	exportText(); }
+    else if(v==="Font Spacing"){
+	toggleFS(); }
     else if(v!=="Controls"){
 	toggleWS(); }
     controlSelector.value = "Controls";
 }
 
+function toggleFS(){
+    const ff = inputText.style.fontFamily;
+    inputText.style.fontFamily = (ff==="monospace") ? "proportional" : "monospace";
+}
+
 function prosodyHandler(e){
     const v = e.target.value;
     const sel = window.getSelection();

diff --git a/annotationAid/style.css b/annotationAid/style.css
@@ -21,7 +21,7 @@
     overflow-y:scroll;
     float: left;
     font-size:large;
-    font-family: monospace;
+    /* font-family: monospace; */
     /* writing-mode: vertical-rl; */
 }