From abd0bdd9518b8ed9e9b0ad0a0c1059760b0ec5ce Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Fri, 19 Oct 2018 16:28:39 -0400 Subject: Automatic merging of style/dynStyle and class/dynClass (closes #64) --- lib/js/urweb.js | 13 +++++++++++-- tests/classAndDynClass.ur | 9 +++++++++ 2 files changed, 20 insertions(+), 2 deletions(-) create mode 100644 tests/classAndDynClass.ur diff --git a/lib/js/urweb.js b/lib/js/urweb.js index bf20cfd4..f81f05e3 100644 --- a/lib/js/urweb.js +++ b/lib/js/urweb.js @@ -1310,6 +1310,9 @@ function dynClass(pnode, html, s_class, s_style) { var x = null; var y = null; + var classNameBefore = html.className; + var styleCssBefore = html.style.cssText; + if (s_class) { x = document.createElement("script"); x.dead = false; @@ -1322,7 +1325,10 @@ function dynClass(pnode, html, s_class, s_style) { freeClosure(ls.data); var cls = {v : null}; - html.className = flatten(cls, v); + var s = flatten(cls, v); + if (classNameBefore) + s += " " + classNameBefore; + html.className = s; x.closures = concat(cls.v, htmlCls); } @@ -1342,7 +1348,10 @@ function dynClass(pnode, html, s_class, s_style) { freeClosure(ls.data); var cls = {v : null}; - html.style.cssText = flatten(cls, v); + var s = flatten(cls, v); + if (styleCssBefore) + s += " " + styleCssBefore; + html.style.cssText = s; y.closures = concat(cls.v, htmlCls2); } diff --git a/tests/classAndDynClass.ur b/tests/classAndDynClass.ur new file mode 100644 index 00000000..ba01962d --- /dev/null +++ b/tests/classAndDynClass.ur @@ -0,0 +1,9 @@ +style style1 +style style2 + +fun main () : transaction page = return +

Text

+ -- cgit v1.2.3