From 758de8f5f155252f3e9ded22be77dcc70993b1c5 Mon Sep 17 00:00:00 2001 From: jprocter Date: Mon, 2 Jul 2012 08:29:23 +0100 Subject: [PATCH] JAL-1129 progress bar - this patch doesn't provide any indication of whether the export was successful. --- src/jalview/gui/AlignmentPanel.java | 30 ++++++++++++++++++++---------- 1 file changed, 20 insertions(+), 10 deletions(-) diff --git a/src/jalview/gui/AlignmentPanel.java b/src/jalview/gui/AlignmentPanel.java index 3d61230..8f2dd04 100644 --- a/src/jalview/gui/AlignmentPanel.java +++ b/src/jalview/gui/AlignmentPanel.java @@ -1075,6 +1075,11 @@ public class AlignmentPanel extends GAlignmentPanel implements void makeAlignmentImage(int type, File file) { + long progress=System.currentTimeMillis(); + if (alignFrame!=null) { + alignFrame.setProgressBar("Saving "+(type == jalview.util.ImageMaker.PNG ? "PNG image":"EPS file") , progress); + } + try { int maxwidth = av.getAlignment().getWidth(); if (av.hasHiddenColumns()) { @@ -1113,19 +1118,17 @@ public class AlignmentPanel extends GAlignmentPanel implements { jalview.util.ImageMaker im; + final String imageAction,imageTitle; if (type == jalview.util.ImageMaker.PNG) { - im = new jalview.util.ImageMaker(this, jalview.util.ImageMaker.PNG, - "Create PNG image from alignment", width, height, file, - null); - } - else - { - im = new jalview.util.ImageMaker(this, jalview.util.ImageMaker.EPS, - "Create EPS file from alignment", width, height, file, - alignFrame.getTitle()); + imageAction="Create PNG image from alignment"; + imageTitle=null; + } else { + imageAction="Create EPS file from alignment"; + imageTitle=alignFrame.getTitle(); } - + im = new jalview.util.ImageMaker(this, type, imageAction, width, height, file, + imageTitle); if (av.getWrapAlignment()) { if (im.getGraphics() != null) @@ -1153,6 +1156,13 @@ public class AlignmentPanel extends GAlignmentPanel implements { ex.printStackTrace(); } + } + finally { + if (alignFrame!=null) + { + alignFrame.setProgressBar("Export complete.", progress); + } + } } /** -- 1.7.10.2