Force Opera to show the editor

davidcarlisle · davidcarlisle · commit b0c359717b7a · 2021-04-14T17:28:44.000+01:00
diff --git a/assets/scripts/runlatex.js b/assets/scripts/runlatex.js
@@ -164,6 +164,7 @@ function llexamples() {
 		}
 	    }
 	    p[i].textContent=pretext.replace(/\s+$/,'');
+	    p[i].style.height="1em"; // force redisplay in Opera zoom
 	    ace.config.set('basePath', 'https://cdnjs.cloudflare.com/ajax/libs/ace/1.4.12') ;
 	    editor = ace.edit(p[i]);
 	    editor.setTheme(rlacetheme);

Original file line number	Diff line number	Diff line change
`@@ -164,6 +164,7 @@ function llexamples() {`
`164`	`164`	`}`
`165`	`165`	`}`
`166`	`166`	`p[i].textContent=pretext.replace(/\s+$/,'');`
	`167`	`+ p[i].style.height="1em"; // force redisplay in Opera zoom`
`167`	`168`	`ace.config.set('basePath', 'https://cdnjs.cloudflare.com/ajax/libs/ace/1.4.12') ;`
`168`	`169`	`editor = ace.edit(p[i]);`
`169`	`170`	`editor.setTheme(rlacetheme);`