Extend regexp that recognises ignorable non-widget elements.
authorMike Taylor <mike@indexdata.com>
Tue, 9 Dec 2014 15:12:42 +0000 (15:12 +0000)
committerMike Taylor <mike@indexdata.com>
Tue, 9 Dec 2014 15:12:42 +0000 (15:12 +0000)
commitf56cbf9df50657048c566264ed241d25e2b1a574
tree25a1e410fb96fafc451f30c176072192ed50e865
parent880f8df256ce44d5a9b748caa93dcd57a816b584
Extend regexp that recognises ignorable non-widget elements.
Previously, the "Container" part was case-sensitive.
Fixes an unfiled bug that Wolfram emailed me about.
src/mkws-widget.js