()
| 559 | |
| 560 | var scheduleStaticRenderTimerId = null; |
| 561 | function scheduleStaticRender() { |
| 562 | if (!scheduleStaticRenderTimerId) { |
| 563 | scheduleStaticRenderTimerId = setTimeout(function() { |
| 564 | scheduleStaticRenderTimerId = null; |
| 565 | window.HTMLWidgets.staticRender(); |
| 566 | }, 1); |
| 567 | } |
| 568 | } |
| 569 | |
| 570 | // Render static widgets after the document finishes loading |
| 571 | // Statically render all elements that are of this widget's class |