search

cincheo / jsweet

A Java to JavaScript transpiler.
http://www.jsweet.org
Other
1.46k stars 160 forks source link

missing jsweet.dom.HTMLOptionsCollection #83

Closed ssatguru closed 8 years ago

ssatguru commented 8 years ago

HTMLSelectElement.options should return HTMLOptionsCollection Currently it just returns HTMLSelectElement

renaudpawlak commented 8 years ago

You are right. It is a bug in the version of the lib.dom.d.ts we are currently using. I have checked, it is fixed in the latest version, so we will just update it (actually the new version defines it as options: HTMLCollection. I'll tell you when it is done. Meanwhile you can use a brute-force cast.

renaudpawlak commented 8 years ago

I have just updated the core libs so options should be of the right type now. Some small modifications might be required in your programs, especially where unions are at play.

ssatguru commented 8 years ago

nice. thanks