X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=bundles%2Forg.simantics.scl.osgi%2Fscl%2FUI%2FProgress.scl;fp=bundles%2Forg.simantics.scl.osgi%2Fscl%2FUI%2FProgress.scl;h=6e8c0ed30c1f56826ad81db874360f78fcbb6ffd;hb=0ae2b770234dfc3cbb18bd38f324125cf0faca07;hp=2e1cf6027d34cfee6ce9763d64947d709f46e3c7;hpb=24e2b34260f219f0d1644ca7a138894980e25b14;p=simantics%2Fplatform.git diff --git a/bundles/org.simantics.scl.osgi/scl/UI/Progress.scl b/bundles/org.simantics.scl.osgi/scl/UI/Progress.scl index 2e1cf6027..6e8c0ed30 100644 --- a/bundles/org.simantics.scl.osgi/scl/UI/Progress.scl +++ b/bundles/org.simantics.scl.osgi/scl/UI/Progress.scl @@ -1,13 +1,13 @@ -importJava "org.eclipse.core.runtime.IProgressMonitor" where - data ProgressMonitor - - beginTask :: ProgressMonitor -> String -> Integer -> () - worked :: ProgressMonitor -> Integer -> () - done :: ProgressMonitor -> () - isCanceled :: ProgressMonitor -> Boolean - setCanceled :: ProgressMonitor -> Boolean -> () - subTask :: ProgressMonitor -> String -> () - -importJava "org.eclipse.core.runtime.NullProgressMonitor" where - @JavaName "" - createNullProgressMonitor :: () -> ProgressMonitor +importJava "org.eclipse.core.runtime.IProgressMonitor" where + data ProgressMonitor + + beginTask :: ProgressMonitor -> String -> Integer -> () + worked :: ProgressMonitor -> Integer -> () + done :: ProgressMonitor -> () + isCanceled :: ProgressMonitor -> Boolean + setCanceled :: ProgressMonitor -> Boolean -> () + subTask :: ProgressMonitor -> String -> () + +importJava "org.eclipse.core.runtime.NullProgressMonitor" where + @JavaName "" + createNullProgressMonitor :: () -> ProgressMonitor