JAL-3253-applet JAL-3439 Preferences issues 1/2
authorhansonr <hansonr@STO24954W.ad.stolaf.edu>
Tue, 24 Sep 2019 14:23:58 +0000 (10:23 -0400)
committerhansonr <hansonr@STO24954W.ad.stolaf.edu>
Tue, 24 Sep 2019 14:23:58 +0000 (10:23 -0400)
commitd248065f96125e06c038bc0b641558d8a878833f
tree4af84625f42464c9923ba04f1f325803e02427df
parentfa7ccd0cf0496e9a93b14df7639bf0eb9ef115ba
JAL-3253-applet JAL-3439 Preferences issues 1/2

minor tab ui changes in SwingJS
JScrollPane peer issue update in SwingJS

still an issue with Preferences Link tab table row height being set to 6
instead of 16 (suspect font size coming in as 0 for some reason -- will
investigate)

SUGGESTED sizing, positioning changes for Visual tab and overall size.
Issues involve Visual tab checkbox overflow, panel overflow, and Link
"double-click" header overflow
at least in Windows Java and JavaScript.
src/jalview/gui/Preferences.java
src/jalview/jbgui/GPreferences.java
swingjs/SwingJS-site.zip
swingjs/timestamp
swingjs/ver/3.2.4/SwingJS-site.zip
swingjs/ver/3.2.4/timestamp