../ Graphics/Give the proper field names to checkboxes13 years ago Signal/fixed obvious === bug13 years ago Basics.jsFix libraries to match new JS generation rules13 years ago Char.jstoCode needs to use uppercase, since keyboard separates key and modifier13 years ago Color.jsAdd lots of documentation and do some minor API clean up.13 years ago Date.jsLots of tiny fixes to get the RTS working!14 years ago Error.jsBetter error messages for runtime errors in cases and ifs13 years ago Function.jsConvert the List and Misc modules.14 years ago JavaScript.jsFix the confusion with "Cons" and "Nil" in issue #176.13 years ago Json.jsFix typo in variable name.13 years ago List.jsUpdate the List library to use the number, comparable, and appendable type variables13 years ago Prelude.jsGet show, readInt, and readFloat working again13 years ago Show.jsMake show nicer for signals and unknown objects.13 years ago Text.jsSwitch to using px to set text height instead of em.13 years ago Transform2D.jsMove native version of Matrix2D13 years ago Utils.jsFix runtime code for comparing things13 years ago