aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/js
Commit message (Collapse)AuthorAge
* Automatic merging of style/dynStyle and class/dynClass (closes #64)Gravatar Adam Chlipala2018-10-19
|
* Client-side escaping of HTML should be prepared for structured HTML trees, ↵Gravatar Adam Chlipala2018-10-19
| | | | not just strings (closes #141)
* Catch when a cselect has an unavailable value setGravatar Adam Chlipala2018-10-12
|
* offsetX, offsetYGravatar Fabrice Leal2018-07-09
|
* Adding: cradio (support for client-side radio box).Gravatar Artyom Shalkhakov2018-05-28
|
* dynClass() now calculates and sets class and style attributes before adding ↵Gravatar Vladimir Shabanov2017-12-13
| | | | node to DOM.
* Added oninput event to inputs which support it.Gravatar Vladimir Shabanov2017-12-05
| | | | Added onscroll event to <body> and title/sizes attributes to <link>.
* Button: disabled attribute; allowing number entry using HTML5 widgetsGravatar Artyom Shalkhakov2017-02-21
|
* Plug a reactive-DOM memory leak (thanks to Saulo Araujo for spotting the ↵Gravatar Adam Chlipala2016-08-24
| | | | problem and proposing a slightly different fix)
* Remove a check that was actually always passing because it was on the wrong ↵Gravatar Adam Chlipala2016-08-08
| | | | object; this helps explain why the last change was necessary
* Avoid repopulating dead nodes; otherwise, we might wind up killing a node ↵Gravatar Adam Chlipala2016-08-08
| | | | multiple times, screwing up the free list of available closure IDs (with duplicates), so that the same ID gets allocated for multiple functions later
* Fix for "normalizeTable" nesting thead and tfoot in tbodyGravatar Saulo Araujo2016-07-16
|
* Client-side: detect session timeout and ask the user to reloadGravatar Adam Chlipala2016-06-16
|
* abs and floor addedGravatar Karen Sargsyan2016-05-23
|
* asin, acos, atan, atan2 addedGravatar Karen Sargsyan2016-05-22
|
* Some basic math functions: pow, sqrt, sin, cos, log, exp are added to work ↵Gravatar Karen Sargsyan2016-05-21
| | | | at client and server sides
* Finish removing PWild; only load a library once, even if referenced multiple ↵Gravatar Adam Chlipala2016-02-07
| | | | times in a .urp tree
* Merge PVar and PWild, to get more reasonable type-class resolutionGravatar Adam Chlipala2016-02-07
|
* Fixing dynClass for <tr>sGravatar Adam Chlipala2015-12-15
|
* JavaScript versions of a few more functionsGravatar Adam Chlipala2015-11-01
|
* Better client-side error messages for RPC failuresGravatar Adam Chlipala2015-11-01
|
* Basis.fromMillisecondsGravatar Adam Chlipala2015-11-01
|
* New mouse events oncontextmenu, onmouseenter, and onmouseleave.Gravatar Ziv Scully2015-04-07
|
* Make flattening of reactive HTML trees iterative instead of recursive, to ↵Gravatar Adam Chlipala2015-03-08
| | | | avoid stack overflows
* Fix dynClass JavaScript reversionGravatar Adam Chlipala2015-03-08
|
* Support 'dynClass' and 'dynStyle' for <body>Gravatar Adam Chlipala2015-03-03
|
* A new MonoReduce optimization for lifting 'let' out of field projection; ↵Gravatar Adam Chlipala2015-02-01
| | | | JavaScript compilation for exponentiation
* Client-side conversion of string to boolGravatar Adam Chlipala2014-12-25
|
* More HTML5 AJAX widgetsGravatar Adam Chlipala2014-11-16
|
* Textual HTML5 AJAX widgetsGravatar Adam Chlipala2014-11-16
|
* Adds AJAX-oriented widget cpassword.Gravatar Ziv Scully2014-08-10
|
* Added javascript for Basis.strsindexGravatar Samuel Dukhovni2014-07-28
|
* Fix dynClass for non-<body> contextsGravatar Adam Chlipala2014-05-04
|
* HTML5 data-* attributesGravatar Adam Chlipala2014-05-02
|
* Change <active> to avoid generating an empty <span> for empty contentGravatar Adam Chlipala2014-04-21
|
* Merge with small clean-upsGravatar Adam Chlipala2014-02-18
|\
| * Add Datetime JavaScript support.Gravatar Patrick Hurst2014-02-17
|/
* Raise exception when recv()ing from someone else's channel; improve setting ↵Gravatar Adam Chlipala2013-12-27
| | | | of client ID in RPCs
* Add JavaScript mappings for isprint and ordGravatar Adam Chlipala2013-12-09
|
* Fix more of client-side error handlersGravatar Adam Chlipala2013-11-14
|
* Fix regression in execution of 'onError' handlersGravatar Adam Chlipala2013-11-14
|
* Basis.tryRpcGravatar Adam Chlipala2013-04-16
|
* add Placeholder attribute to <password>; change <textbox> code generation to ↵Gravatar Adam Chlipala2012-11-30
| | | | set 'type' to 'text'
* Removed unused parent() function which conflicts with window.parent.Gravatar Vladimir Shabanov2012-10-22
|
* Minor js optimizations.Gravatar Vladimir Shabanov2012-08-30
| | | | | * flatten() now uses accumulator and join. * reuse regexps instead of allocating new each time
* Removed setting of ignored XMLHttpRequest headers.Gravatar Vladimir Shabanov2012-08-30
|
* Fixed memory leak in dynClassGravatar Vladimir Shabanov2012-08-30
|
* Back out last change and pursue a different fix, based on explicitly ↵Gravatar Adam Chlipala2012-08-03
| | | | aborting script execution at times when we don't expect scripts to run
* Undo change to script evaluation, originally made to support <active> + ↵Gravatar Adam Chlipala2012-08-03
| | | | 'giveFocus'; alternate approach to making 'giveFocus' work in dynamic code generatione
* Removed evaluation of js function name strings. (from Vladimir Shabanov)Gravatar Adam Chlipala2012-07-29
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-12 10:06:54 +0000