| Index: lib/runtime/messages_widget.dart
|
| diff --git a/lib/runtime/messages_widget.dart b/lib/runtime/messages_widget.dart
|
| index 2280992e94ad760ef22b5e656b31ef9f3d361784..11c4b82c57bacc9e3dd1792490fd8997098315f9 100644
|
| --- a/lib/runtime/messages_widget.dart
|
| +++ b/lib/runtime/messages_widget.dart
|
| @@ -73,7 +73,7 @@ void displayMessages(String data) {
|
|
|
| var logElement = new Element.html('$sb',
|
| validator: new NodeValidatorBuilder.common()
|
| - ..allowNavigation(new _OpenUriPolicy()));
|
| + ..allowNavigation(new _OpenUriPolicy()));
|
| contentItem.append(logElement);
|
| var messageElement = logElement.querySelector('div.text');
|
| messageElement.onClick.listen((e) {
|
|
|