Adding JGS vectorial font

This commit is contained in:
2023-10-26 12:01:13 +02:00
parent 140d4513f1
commit b276516a0e
3 changed files with 9 additions and 0 deletions

View File

@ -235,6 +235,7 @@
<option value="jgs5">JGS 5</option>
<option value="jgs7">JGS 7</option>
<option value="jgs9">JGS 9</option>
<option value="jgs_vecto">JGS Vect</option>
<option value="Steps Mono">Steps Mono</option>
<option value="Steps Mono Thin">Steps Mono Thin</option>
</select>