Update ColorizedStringsDiff widget.

Fix for unicode strings.