git://source.jalview.org
/
jalview.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
6361938
)
JAL-1130 new logo spinner in webservices status window
author
jprocter
<jprocter@compbio.dundee.ac.uk>
Wed, 1 Aug 2012 15:41:09 +0000
(16:41 +0100)
committer
jprocter
<jprocter@compbio.dundee.ac.uk>
Wed, 19 Sep 2012 12:17:30 +0000
(13:17 +0100)
src/jalview/gui/WebserviceInfo.java
patch
|
blob
|
history
diff --git
a/src/jalview/gui/WebserviceInfo.java
b/src/jalview/gui/WebserviceInfo.java
index
51c8e83
..
6696a3a
100755
(executable)
--- a/
src/jalview/gui/WebserviceInfo.java
+++ b/
src/jalview/gui/WebserviceInfo.java
@@
-296,7
+296,7
@@
public class WebserviceInfo extends GWebserviceInfo implements
this.title = title;
setInfoText(info);
this.title = title;
setInfoText(info);
- java.net.URL url = getClass().getResource("/images/logo.gif");
+ java.net.URL url = getClass().getResource("/images/logo_v2_square.jpg");
image = java.awt.Toolkit.getDefaultToolkit().createImage(url);
MediaTracker mt = new MediaTracker(this);
image = java.awt.Toolkit.getDefaultToolkit().createImage(url);
MediaTracker mt = new MediaTracker(this);
@@
-799,9
+799,10
@@
public class WebserviceInfo extends GWebserviceInfo implements
if (image != null)
{
if (image != null)
{
- g.rotate(Math.toRadians(angle), 28, 28);
+ int x=image.getWidth(this)/2,y=image.getHeight(this)/2;
+ g.rotate(Math.toRadians(angle), 10+x, 10+y);
g.drawImage(image, 10, 10, this);
g.drawImage(image, 10, 10, this);
- g.rotate(-Math.toRadians(angle), 28, 28);
+ g.rotate(-Math.toRadians(angle), 10+x, 10+y);
}
}
}
}