X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FWebserviceInfo.java;h=815871832c816430a6e2e7f0a948be76bd4c91a1;hb=ed71ad3c91cd2609f3e91a8027b2c0877b018dea;hp=f97f80854d2d99829438d612c1a451facf491a62;hpb=fbee8e851a60b04ed79ed0e21d9e5af6ee488c0e;p=jalview.git diff --git a/src/jalview/gui/WebserviceInfo.java b/src/jalview/gui/WebserviceInfo.java index f97f808..8158718 100644 --- a/src/jalview/gui/WebserviceInfo.java +++ b/src/jalview/gui/WebserviceInfo.java @@ -82,7 +82,7 @@ public class WebserviceInfo extends GWebserviceInfo Image image; - int angle = 0; + float angle = 0f; String title = ""; @@ -346,6 +346,7 @@ public class WebserviceInfo extends GWebserviceInfo ap.setPreferredSize(new Dimension(60, 60)); titlePanel.add(ap, BorderLayout.WEST); titlePanel.add(titleText, BorderLayout.CENTER); + setStatus(currentStatus); Thread thread = new Thread(ap); thread.start(); @@ -792,24 +793,37 @@ protected void cancel_actionPerformed(ActionEvent e) BufferedImage offscreen; @Override - public void run() + public void run() { startTime = System.currentTimeMillis(); + float invSpeed = 15f; + float factor = 1f; while (currentStatus < STATE_STOPPED_OK) { + if (currentStatus == STATE_QUEUING) + { + invSpeed = 25f; + factor = 1f; + } + else if (currentStatus == STATE_RUNNING) + { + invSpeed = 10f; + factor = (float) (0.5 + 1.5 + * (0.5 - (0.5 * Math.sin(3.14159 / 180 * (angle + 45))))); + } try { Thread.sleep(50); - int units = (int) ((System.currentTimeMillis() - startTime) - / 10f); - angle += units; + float delta = (System.currentTimeMillis() - startTime) / invSpeed; + angle += delta * factor; angle %= 360; startTime = System.currentTimeMillis(); if (currentStatus >= STATE_STOPPED_OK) { + park(); angle = 0; } @@ -822,13 +836,42 @@ protected void cancel_actionPerformed(ActionEvent e) cancel.setEnabled(false); } + public void park() + { + startTime = System.currentTimeMillis(); + + while (angle < 360) + { + float invSpeed = 5f; + float factor = 1f; + try + { + Thread.sleep(25); + + float delta = (System.currentTimeMillis() - startTime) / invSpeed; + angle += delta * factor; + startTime = System.currentTimeMillis(); + + if (angle >= 360) + { + angle = 360; + } + + repaint(); + } catch (Exception ex) + { + } + } + + } + void drawPanel() { if (offscreen == null || offscreen.getWidth(this) != getWidth() || offscreen.getHeight(this) != getHeight()) { offscreen = new BufferedImage(getWidth(), getHeight(), - BufferedImage.TYPE_INT_ARGB); + BufferedImage.TYPE_INT_RGB); } Graphics2D g = (Graphics2D) offscreen.getGraphics(); @@ -846,9 +889,9 @@ protected void cancel_actionPerformed(ActionEvent e) if (image != null) { int x = image.getWidth(this) / 2, y = image.getHeight(this) / 2; - g.rotate(Math.toRadians(angle), x, y); + g.rotate(3.14159 / 180 * (angle), x, y); g.drawImage(image, 0, 0, this); - g.rotate(-Math.toRadians(angle), x, y); + g.rotate(-3.14159 / 180 * (angle), x, y); } }