diff options
| author | Ben Harris <bjh21@bjh21.me.uk> | 2023-08-21 22:45:48 +0100 |
|---|---|---|
| committer | Ben Harris <bjh21@bjh21.me.uk> | 2023-08-21 23:06:32 +0100 |
| commit | b5367ed18ac96f54595fbe6c17fe8a4a897020aa (patch) | |
| tree | 4b81bea5e6c1c1aecd67810a693c59fe642aba86 /html | |
| parent | 85b00e56a034713a8e34f9e10423ae14dbc810e0 (diff) | |
| download | puzzles-b5367ed18ac96f54595fbe6c17fe8a4a897020aa.zip puzzles-b5367ed18ac96f54595fbe6c17fe8a4a897020aa.tar.gz puzzles-b5367ed18ac96f54595fbe6c17fe8a4a897020aa.tar.bz2 puzzles-b5367ed18ac96f54595fbe6c17fe8a4a897020aa.tar.xz | |
js: load preferences from HTML elements
It will be useful on KaiOS to be able to specify default user
preferences that aren't the standard ones, in the same way that we
specify some environment variables. As with environment variables, we
can now do this be embedding a <script> element in the HTML like this:
<script class="preferences" type="text/plain">
show-labels=true
</script>
These are loaded before the preferences from localStorage, so they just
set defaults and can be overridden by the user (but not on KaiOS yet,
because we still don't have dialogue boxes there).
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions