git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dcc68fa) | patch
JAL-3594 Allow a channel to use a different preferences file than .jalview_properties...
authorBen Soares <b.soares@dundee.ac.uk>
Thu, 4 Mar 2021 19:19:34 +0000 (19:19 +0000)
committerBen Soares <b.soares@dundee.ac.uk>
Thu, 4 Mar 2021 19:19:34 +0000 (19:19 +0000)
commitb7d225fc8a17594a1ddacd775a819b9ffc70131b
tree9f54178e895dd88dfb2102c2ab84368c48018cdatree | snapshot
parentdcc68fa0a9fb37742db5a4352ff2be287cc7cae7commit | diff
JAL-3594 Allow a channel to use a different preferences file than .jalview_properties, with initial read from .jalview_properties
src/jalview/bin/Cache.java diff | blob | history
src/jalview/util/ChannelProperties.java diff | blob | history
utils/channels/default/resources/channel.props diff | blob | history
utils/channels/develop/resources/channel.props diff | blob | history
utils/channels/jalviewjs/resources/channel.props diff | blob | history
utils/channels/release/resources/channel.props diff | blob | history
utils/channels/test-release/resources/channel.props diff | blob | history