| Index: plugins/org.chromium.debug.ui/src/org/chromium/debug/ui/liveedit/PushChangesWizard.java
|
| diff --git a/plugins/org.chromium.debug.ui/src/org/chromium/debug/ui/liveedit/PushChangesWizard.java b/plugins/org.chromium.debug.ui/src/org/chromium/debug/ui/liveedit/PushChangesWizard.java
|
| index e64d2de2d0d8b4852550b83c6345bd790101e300..2c2a5fad9a2e5f06eedfdb759a5fe97b512f831d 100644
|
| --- a/plugins/org.chromium.debug.ui/src/org/chromium/debug/ui/liveedit/PushChangesWizard.java
|
| +++ b/plugins/org.chromium.debug.ui/src/org/chromium/debug/ui/liveedit/PushChangesWizard.java
|
| @@ -258,7 +258,7 @@ public class PushChangesWizard {
|
| input[0] = LiveEditResultDialog.createTextInput(text, changesPlan,
|
| failure);
|
| }
|
| - public void success(Object report,
|
| + public void success(boolean resumed, Object report,
|
| final UpdatableScript.ChangeDescription changeDescription) {
|
| if (changeDescription == null) {
|
| input[0] = LiveEditResultDialog.createTextInput(
|
|
|