diff options
author | 2017-02-21 16:20:27 +0000 | |
---|---|---|
committer | 2017-02-21 16:20:27 +0000 | |
commit | 773c309baa825ae91a9d86358785f8c3056bad8f (patch) | |
tree | 81a9b5e32107d50452785f5b256e56285bcb75f3 /src/settings.sml | |
parent | 59454c9766685b381603aaf116bb43a9515dbdba (diff) |
Button: disabled attribute; allowing number entry using HTML5 widgets
Diffstat (limited to 'src/settings.sml')
0 files changed, 0 insertions, 0 deletions