git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0d69df1) | patch
JAL-3187 - tabbed pane is nulled when feature settings is closed but not featureSetti...
authorJim Procter <jprocter@issues.jalview.org>
Wed, 19 Feb 2020 18:43:05 +0000 (18:43 +0000)
committerJim Procter <jprocter@issues.jalview.org>
Wed, 19 Feb 2020 18:43:05 +0000 (18:43 +0000)
commita983b2e80865eda767b4223934afa4f50983f48d
tree49a39e96fec050dcdd4e2d58469eb91d7aba8ab1tree | snapshot
parent0d69df1fcdf53cd75eae383f8dcf62ea211edce6commit | diff
JAL-3187 - tabbed pane is nulled when feature settings is closed but not featureSettingsUI - check both are non-null or reconstruct
src/jalview/gui/SplitFrame.java diff | blob | history