elias/strudel-docker
1
0
Fork 0
mirror of https://github.com/eliasstepanik/strudel-docker.git synced 2026-01-21 18:48:36 +00:00
Code Issues Packages Projects Releases Wiki Activity

fix: fontFamily setting

Browse Source
This commit is contained in:
Felix Roos 2023-12-14 22:51:17 +01:00
parent 8959c630ae
commit d23cac506c
2 changed files with 6 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
packages/codemirror/codemirror.mjs
View File

@ -190,6 +190,10 @@ export class StrudelMirror {
} }
setFontFamily(family) { setFontFamily(family) {
this.root.style.fontFamily = family; this.root.style.fontFamily = family;
const scroller = this.root.querySelector('.cm-scroller');
if (scroller) {
scroller.style.fontFamily = family;
}
} }
reconfigureExtension(key, value) { reconfigureExtension(key, value) {
if (!extensions[key]) { if (!extensions[key]) {

6
website/src/pages/vanilla/index.astro
View File

@ -60,10 +60,8 @@ import HeadCommonNew from '../../components/HeadCommonNew.astro';
<option>vscode</option> <option>vscode</option>
</select> </label </select> </label
><br /> ><br />
<!-- <label>fontFamily <label>fontFamily
<select name="fontFamily"> <select name="fontFamily">
<option>monospace</option>
<option>helvetica</option>
<option value="monospace">monospace</option> <option value="monospace">monospace</option>
<option value="BigBlueTerminal">BigBlueTerminal</option> <option value="BigBlueTerminal">BigBlueTerminal</option>
<option value="x3270">x3270</option> <option value="x3270">x3270</option>
@ -76,7 +74,7 @@ import HeadCommonNew from '../../components/HeadCommonNew.astro';
<option value="mode7">mode7</option> <option value="mode7">mode7</option>
</select> </select>
</label> </label>
<br /> --> <br />
<label>fontSize <input type="number" name="fontSize" /></label> <label>fontSize <input type="number" name="fontSize" /></label>
<br /> <br />
<label><input type="checkbox" name="isLineNumbersDisplayed" />isLineNumbersDisplayed</label> <label><input type="checkbox" name="isLineNumbersDisplayed" />isLineNumbersDisplayed</label>