Wt

WebRenderer has an isDirty() function that checks whether there is any update at all. If we have no updates then triggerUpdate() won't actually cause any updates to be pushed.

However, this doesn't work properly. It checks if collectedJS1_ is empty, and we always add an opening and closing curly brace.

A simple fix but somewhat ugly fix could be to update the check from:

!collectedJS1_.empty()

to:

!(collectedJS1_.empty() || (collectedJS1_.length() == 2 && collectedJS1_.str() == "{}"))