fix: allow 0.1 interval steps for spaceTimeout

If the step is not specified, the default validation requires that the
values are integers. Since the default value is 0.5, this prevented the
settings from being changed.

Now the step is 0.1 which should give enough control without clashing
with the default
pull/1579/head
Oliver Eyton-Williams 4 years ago
parent dd985908a1
commit 6f84038b4d
No known key found for this signature in database
GPG Key ID: C4B00673186643C5

@ -60,7 +60,7 @@ app.templates.settingsPage = (settings) -> """
<input type="checkbox" form="settings" name="spaceScroll" value="1"#{if settings.spaceScroll then ' checked' else ''}>Use spacebar to scroll during search
</label>
<label class="_settings-label">
<input type="number" form="settings" name="spaceTimeout" min="0" max="5" value="#{settings.spaceTimeout}"> Delay until you can scroll by pressing space
<input type="number" step="0.1" form="settings" name="spaceTimeout" min="0" max="5" value="#{settings.spaceTimeout}"> Delay until you can scroll by pressing space
<small>Time in seconds</small>
</label>
</div>

Loading…
Cancel
Save