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:
31b84e9
)
menu bug preventing closing
author
hansonr
<hansonr@STO24954W.ad.stolaf.edu>
Fri, 18 Jan 2019 09:19:35 +0000
(
03:19
-0600)
committer
hansonr
<hansonr@STO24954W.ad.stolaf.edu>
Fri, 18 Jan 2019 09:19:35 +0000
(
03:19
-0600)
I see the problem with label icons offset. Something I did when I was
doing mnemonics, I think....
swingjs/SwingJS-site.zip
patch
|
blob
|
history
swingjs/net.sf.j2s.core.jar
patch
|
blob
|
history
swingjs/timestamp
patch
|
blob
|
history
swingjs/ver/3.2.4/SwingJS-site.zip
patch
|
blob
|
history
swingjs/ver/3.2.4/net.sf.j2s.core.jar
patch
|
blob
|
history
swingjs/ver/3.2.4/timestamp
patch
|
blob
|
history
diff --git
a/swingjs/SwingJS-site.zip
b/swingjs/SwingJS-site.zip
index
6291264
..
af9dfc1
100644
(file)
Binary files a/swingjs/SwingJS-site.zip and b/swingjs/SwingJS-site.zip differ
diff --git
a/swingjs/net.sf.j2s.core.jar
b/swingjs/net.sf.j2s.core.jar
index
56c61d0
..
c2c3141
100644
(file)
Binary files a/swingjs/net.sf.j2s.core.jar and b/swingjs/net.sf.j2s.core.jar differ
diff --git
a/swingjs/timestamp
b/swingjs/timestamp
index
7c45c3c
..
a1263d3
100644
(file)
--- a/
swingjs/timestamp
+++ b/
swingjs/timestamp
@@
-1
+1
@@
-20190118024414
+20181216002255
diff --git
a/swingjs/ver/3.2.4/SwingJS-site.zip
b/swingjs/ver/3.2.4/SwingJS-site.zip
index
6291264
..
af9dfc1
100644
(file)
Binary files a/swingjs/ver/3.2.4/SwingJS-site.zip and b/swingjs/ver/3.2.4/SwingJS-site.zip differ
diff --git
a/swingjs/ver/3.2.4/net.sf.j2s.core.jar
b/swingjs/ver/3.2.4/net.sf.j2s.core.jar
index
56c61d0
..
c2c3141
100644
(file)
Binary files a/swingjs/ver/3.2.4/net.sf.j2s.core.jar and b/swingjs/ver/3.2.4/net.sf.j2s.core.jar differ
diff --git
a/swingjs/ver/3.2.4/timestamp
b/swingjs/ver/3.2.4/timestamp
index
7c45c3c
..
a1263d3
100644
(file)
--- a/
swingjs/ver/3.2.4/timestamp
+++ b/
swingjs/ver/3.2.4/timestamp
@@
-1
+1
@@
-20190118024414
+20181216002255