From: Ben Soares Date: Fri, 18 Aug 2023 13:34:00 +0000 (+0100) Subject: Merge branch 'bug/JAL-4242_exception_when_pressing_escape_in_fetch_from_URL_dialog... X-Git-Tag: Release_2_11_3_0~8^2~49 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=eeed36339774143e579a97cdd8ba0763b020f3fd;hp=fedea1822d5623bfe841cebf01f39bfc00577868;p=jalview.git Merge branch 'bug/JAL-4242_exception_when_pressing_escape_in_fetch_from_URL_dialog' into merge/big_merge_of_bens_stuff_before_2_11_3_0 --- diff --git a/src/jalview/gui/JvOptionPane.java b/src/jalview/gui/JvOptionPane.java index c0efd4a..e622445 100644 --- a/src/jalview/gui/JvOptionPane.java +++ b/src/jalview/gui/JvOptionPane.java @@ -1129,7 +1129,13 @@ public class JvOptionPane extends JOptionPane private void internalDialogHandleResponse() { - String responseString = (String) this.getValue(); + Object value = this.getValue(); + if (value == null + || (value instanceof Integer && (Integer) value == -1)) + { + return; + } + String responseString = value.toString(); int response = ourOptions.indexOf(responseString); if (!Platform.isJS())