JAL-3288 override JInternalFrame.setSelected() to avoid cancelling menus bug/JAL-3288splitFrameMenusJava11
authorgmungoc <g.m.carstairs@dundee.ac.uk>
Wed, 5 Jun 2019 14:22:02 +0000 (15:22 +0100)
committergmungoc <g.m.carstairs@dundee.ac.uk>
Wed, 5 Jun 2019 14:22:02 +0000 (15:22 +0100)
commit9fa3368723ed450b77baeb02c5eaec33f7668965
treee6ddb619cd60bd0480f14f16c4c3eda63e71200b
parent1413ed295402b90cccddc8ee814cb5be0d1fc75e
JAL-3288 override JInternalFrame.setSelected() to avoid cancelling menus
src/jalview/gui/SplitFrame.java