Choose prettier default settings for the demo

This commit is contained in:
Patrick Walton 2017-09-05 12:57:01 -07:00
parent df20bcff5c
commit a599db4eb9
2 changed files with 12 additions and 5 deletions

View File

@ -21,9 +21,9 @@
<div class="form-group">
<label for="pf-select-file">Font</label>
<select id="pf-select-file" class="form-control custom-select">
<option value="open-sans" selected>Open Sans</option>
<option value="eb-garamond" selected>EB Garamond</option>
<option value="open-sans">Open Sans</option>
<option value="nimbus-sans">Nimbus Sans</option>
<option value="eb-garamond">EB Garamond</option>
<option value="load-custom">Load File&hellip;</option>
</select>
<input id="pf-file-select" type="file">
@ -31,10 +31,10 @@
<div class="form-group">
<label for="pf-aa-level-select">Antialiasing</label>
<select id="pf-aa-level-select" class="form-control custom-select">
<option value="none" selected>None</option>
<option value="none">None</option>
<option value="ssaa-2">2&times;SSAA</option>
<option value="ssaa-4">4&times;SSAA</option>
<option value="ecaa">ECAA</option>
<option value="ecaa" selected>ECAA</option>
</select>
</div>
</form>

View File

@ -19,8 +19,15 @@ export abstract class AppController {
}
protected loadInitialFile() {
const selectFileElement = document.getElementById('pf-select-file') as
(HTMLSelectElement | null);
if (selectFileElement != null) {
const selectedOption = selectFileElement.selectedOptions[0] as HTMLOptionElement;
this.fetchFile(selectedOption.value);
} else {
this.fetchFile(this.defaultFile);
}
}
protected fetchFile(file: string) {
window.fetch(`${this.builtinFileURI}/${file}`)