Merge branch 'releases/Release_2_11_3_Branch'
[jalview.git] / src / jalview / jbgui / swing / JTabbedPane.java
2019-01-09 gmungocJAL-3032 stub JS tabbed pane removed as not used
2018-07-25 hansonrJAL-3026 Java 8 upgrade and JTabbedPane
2018-07-06 hansonrJAL-3026 all tabbed panes use JavaScript option