diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2019-01-26 15:11:56 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2019-01-26 15:11:56 -0500 |
| commit | 28ab84cb7b09e23aa0ed014bf2ed1fda56fcefc1 (patch) | |
| tree | 21050a008737ae0e8c096b3897c753310bec465a /lib | |
| parent | 15105e3e62d595fe620d019a7ef9aeeb0197d24d (diff) | |
Stop complaining when a nonexistent option is chosen for cselect
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/js/urweb.js | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/lib/js/urweb.js b/lib/js/urweb.js index 357e4c1c..1c296fe1 100644 --- a/lib/js/urweb.js +++ b/lib/js/urweb.js @@ -2271,9 +2271,6 @@ function setSelectValue(x, v) { return; } } - - if (v != "") - er("Setting <select> to nonexistent value: " + v); } function sel(s, content) { |