mirror of
https://github.com/braver/programmingfonts.git
synced 2024-09-30 07:11:35 +02:00
properly initialize spacing
This commit is contained in:
parent
b6c6d68bb7
commit
6a9d4826be
@ -258,7 +258,7 @@
|
|||||||
</p>
|
</p>
|
||||||
<p>
|
<p>
|
||||||
<label for="spacing">Spacing</label>
|
<label for="spacing">Spacing</label>
|
||||||
<input onchange="setSpacing()" type="number" id="spacing" value="1.2" min="1" max="2" step="0.1">
|
<input onchange="setSpacing()" type="number" id="spacing" value="1.4" min="1" max="2" step="0.1">
|
||||||
</p>
|
</p>
|
||||||
<p>
|
<p>
|
||||||
<label for="aliasing">Anti-aliasing </label><input onchange="setAntialiasing()" type="checkbox" id="aliasing" checked>
|
<label for="aliasing">Anti-aliasing </label><input onchange="setAntialiasing()" type="checkbox" id="aliasing" checked>
|
||||||
@ -396,6 +396,7 @@ function updateGutters(cm) {
|
|||||||
selectTheme();
|
selectTheme();
|
||||||
applyColors();
|
applyColors();
|
||||||
setSize();
|
setSize();
|
||||||
|
setSpacing();
|
||||||
|
|
||||||
var font_aliases = [];
|
var font_aliases = [];
|
||||||
$.getJSON("fonts.json", function(data) {
|
$.getJSON("fonts.json", function(data) {
|
||||||
|
Loading…
Reference in New Issue
Block a user