# HG changeset patch # User Frank Benoit # Date 1208097496 -7200 # Node ID 63a7769cce5771b1bd7bd02b84a217b386c11446 # Parent e7e5002eabcf1d62e9613cb718fdf414354ebfc8 remove debug prints diff -r e7e5002eabcf -r 63a7769cce57 jface/Librarian.d --- a/jface/Librarian.d Sat Apr 12 17:57:24 2008 +0200 +++ b/jface/Librarian.d Sun Apr 13 16:38:16 2008 +0200 @@ -395,38 +395,32 @@ public void saveFileAs(String fileName) { // Disable the actions, so user can't change file while it's saving enableActions(false); -Trace.formatln( "trc {}",__LINE__ ); try { + auto pm = getStatusLineManager().getProgressMonitor(); + auto disp = getShell().getDisplay(); + // Launch the Save runnable ModalContext.run(new class(fileName) IRunnableWithProgress { String filename_; this(String a){ -Trace.formatln( "trc {}",__LINE__ ); filename_=a; } public void run(IProgressMonitor progressMonitor) { -Trace.formatln( "trc {}",__LINE__ ); try { - progressMonitor.beginTask("Saving", IProgressMonitor.UNKNOWN); + progressMonitor.beginTask("Saving", -1/+IProgressMonitor.UNKNOWN+/); library.save(filename_); progressMonitor.done(); } catch (IOException e) { -Trace.formatln( "trc {}",__LINE__ ); showError(Format("Can't save file {}\r{}", library.getFileName(), e.msg )); } -Trace.formatln( "trc {}",__LINE__ ); } - }, true, getStatusLineManager().getProgressMonitor(), getShell() - .getDisplay()); -Trace.formatln( "trc {}",__LINE__ ); + }, true, pm, disp ); } catch (InterruptedException e) { } catch (InvocationTargetException e) { } finally { -Trace.formatln( "trc {}",__LINE__ ); // Enable the actions enableActions(true); } -Trace.formatln( "trc {}",__LINE__ ); } /**