chiark / gitweb /
dep-ui.js: Add some debugging machinery.
authorMark Wooding <mdw@distorted.org.uk>
Sat, 13 Apr 2013 23:15:50 +0000 (00:15 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Sat, 13 Apr 2013 23:15:50 +0000 (00:15 +0100)
commitc6150f2f930c56ba8d3264f0cc5b9321b9b29d54
tree7806af079ec563c4c2eb0c12493b8a8f5522bee5
parentef43c7018f16f7b92c93e85098a52fd6817b5bca
dep-ui.js: Add some debugging machinery.

The `DEP_UI.debug' function writes a trace message to the `trace'
element, if there is one.  Add a `trace' element.
dep-ui.js
rolling.html