JAL-4470 fix: check for workers!=null before checking its empty...
authorJim Procter <jprocter@dundee.ac.uk>
Fri, 4 Oct 2024 15:03:38 +0000 (16:03 +0100)
committerJim Procter <jprocter@dundee.ac.uk>
Fri, 4 Oct 2024 15:03:59 +0000 (16:03 +0100)
commit54b1c9efca00df99bc3a502fe76d3bbf98938b96
tree279fbdc66c139eb9d585caa9f1e9ccc3eede03c9
parent839b67dfeae7dc17cc31bfd9035f70b22655995b
JAL-4470 fix: check for workers!=null before checking its empty...
src/jalview/gui/PopupMenu.java