From: Tuukka Lehtonen Date: Thu, 14 Jan 2021 08:03:51 +0000 (+0200) Subject: Add missing effect to UI/Progress/isCanceled X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=commitdiff_plain;h=831925ed328433a88bb2d36a122b098b97af9a58;p=simantics%2Fplatform.git Add missing effect to UI/Progress/isCanceled gitlab #667 Change-Id: I86d614fc75ac19ccd457f7bdd3ca0b53b3e73b1a --- diff --git a/bundles/org.simantics.scl.osgi/scl/UI/Progress.scl b/bundles/org.simantics.scl.osgi/scl/UI/Progress.scl index 3805e163f..dfdcad96f 100644 --- a/bundles/org.simantics.scl.osgi/scl/UI/Progress.scl +++ b/bundles/org.simantics.scl.osgi/scl/UI/Progress.scl @@ -4,7 +4,7 @@ importJava "org.eclipse.core.runtime.IProgressMonitor" where beginTask :: ProgressMonitor -> String -> Integer -> () worked :: ProgressMonitor -> Integer -> () done :: ProgressMonitor -> () - isCanceled :: ProgressMonitor -> Boolean + isCanceled :: ProgressMonitor -> Boolean setCanceled :: ProgressMonitor -> Boolean -> () subTask :: ProgressMonitor -> String -> ()