JAL-3244 ignore file path separator when comparing pdb file paths
authorgmungoc <g.m.carstairs@dundee.ac.uk>
Wed, 1 May 2019 16:04:16 +0000 (17:04 +0100)
committergmungoc <g.m.carstairs@dundee.ac.uk>
Wed, 1 May 2019 16:04:16 +0000 (17:04 +0100)
commitdf71d2a2ed64f36fc8fe396d6f4950f7b3519926
tree410873d55e03402aca1991e39a74ad44ff229e1f
parent9953369343e959212ab639e4bed2df1f3ec05643
JAL-3244 ignore file path separator when comparing pdb file paths
src/jalview/gui/AppJmol.java
src/jalview/structure/StructureSelectionManager.java
src/jalview/util/Platform.java
test/jalview/util/PlatformTest.java