JAL-3594 Allow a channel to use a different preferences file than .jalview_properties...

[jalview.git] / utils / channels / develop / resources / channel.props

diff --git a/utils/channels/develop/resources/channel.props b/utils/channels/develop/resources/channel.props
index fa848de..8af68fa 100644 (file)
--- a/utils/channels/develop/resources/channel.props
+++ b/utils/channels/develop/resources/channel.props
@@ -16,3 +16,4 @@ uod_banner.28=/images/UoD_banner-28.png
 uod_banner.30=/images/UoD_banner-30.png
 uod_banner.32=/images/UoD_banner-32.png
 default_appbase=https://www.jalview.org/getdown/develop/11
+preferences.filename=.jalview_develop_properties