| Index: plugins/org.chromium.debug.ui/src/org/chromium/debug/ui/liveedit/PreviewLoader.java
|
| diff --git a/plugins/org.chromium.debug.ui/src/org/chromium/debug/ui/liveedit/PreviewLoader.java b/plugins/org.chromium.debug.ui/src/org/chromium/debug/ui/liveedit/PreviewLoader.java
|
| index f4413880de68366f3ff17b826873da6670db7e7b..270f8d033cfdbc0db379aaefe025de1135986955 100644
|
| --- a/plugins/org.chromium.debug.ui/src/org/chromium/debug/ui/liveedit/PreviewLoader.java
|
| +++ b/plugins/org.chromium.debug.ui/src/org/chromium/debug/ui/liveedit/PreviewLoader.java
|
| @@ -91,7 +91,7 @@ class PreviewLoader implements ValueSource<Optional<PreviewLoader.Data>> {
|
| });
|
| done(result);
|
| }
|
| - public void success(Object report,
|
| + public void success(boolean resumed, Object report,
|
| final UpdatableScript.ChangeDescription changeDescription) {
|
| Optional<Data> result;
|
| if (changeDescription == null) {
|
|
|