Merge branch 'improvement/JAL-3830_remove_dock_icon_in_headless_mode' into merge...
authorBen Soares <b.soares@dundee.ac.uk>
Fri, 18 Aug 2023 13:34:14 +0000 (14:34 +0100)
committerBen Soares <b.soares@dundee.ac.uk>
Fri, 18 Aug 2023 13:34:14 +0000 (14:34 +0100)
commitbbbc584f24167856ceb7cb298be72a62647feca8
treee7c02a846a22a2eba95de3a90b361f3bdabf14ab
parenteeed36339774143e579a97cdd8ba0763b020f3fd
parentfd814da2180509657dbc6a644cf3e812e8e00c92
Merge branch 'improvement/JAL-3830_remove_dock_icon_in_headless_mode' into merge/big_merge_of_bens_stuff_before_2_11_3_0
src/jalview/bin/Jalview.java
src/jalview/gui/JvOptionPane.java