word edit: omit empty translation options

diff --git a/writer.js b/writer.js
index 3f97e41ef8ecda2dce4309a7e154aff6a1c0c0e5..da8229a54f4f31a76e9534bb43a2ec059a232e19 100644 (file)
--- a/writer.js
+++ b/writer.js
@@ -81,11 +81,17 @@ document.addEventListener('DOMContentLoaded', () => {
 
        let translist = document.getElementById('trans');
        if (translist) {
+               let langoptions = Array.prototype.filter.call(document.getElementById('lang').options, opt => {
+                       if (document.getElementById('trans-' + opt.value)) return;
+                       if (document.getElementById('lang').value == opt.value) return;
+                       return true;
+               });
+               if (!langoptions.length) return;
+
                let transadd = translist.appendChild(document.createElement('li'));
                let transselect = transadd.appendChild(document.createElement('select'));
                transselect.appendChild(document.createElement('option'));
-               for (let langoption of document.getElementById('lang').options) {
-                       if (document.getElementById('trans-'+langoption.value)) continue;
+               for (let langoption of langoptions) {
                        let transoption = document.createElement('option');
                        transoption.value = langoption.value;
                        transoption.append(langoption.label);