Merge commit 'alpha/update_2_12_for_2_11_2_series_merge^2' into HEAD

[jalview.git] / utils / channels / jalviewjs / channel_gradle.properties

diff --git a/utils/channels/jalviewjs/channel_gradle.properties b/utils/channels/jalviewjs/channel_gradle.properties
new file mode 100644 (file)
index 0000000..38dcf09
--- /dev/null
+++ b/utils/channels/jalviewjs/channel_gradle.properties
@@ -0,0 +1,22 @@
+# These properties will be read into the build.gradle REPLACING any properties with the same name in gradle.properties
+# BEFORE local_properties is read
+# The purpose of this is to change cosmetic/themed items, and use the channel specific channels_properties file in Jalview
+getdown_images_dir = utils/channels/jalviewjs/images
+getdown_background_image = jalviewjs_getdown_background.png
+getdown_instant_background_image = jalviewjs_getdown_background_initialising.png
+getdown_error_background = jalviewjs_getdown_background_error.png
+getdown_progress_image = jalviewjs_getdown_progress_bar.png
+getdown_mac_dock_icon = jalview_logo.icns
+getdown_icon = jalview_logo.png
+getdown_txt_allow_offline = true
+getdown_txt_max_concurrent_downloads = 10
+getdown_txt_ui.install_error = https://www.jalview.org/faq/getdownerror
+getdown_txt_ui.hide_decorations = true
+install4j_images_dir = utils/channels/jalviewjs/images
+install4j_mac_icons_file = jalview_logo.icns
+install4j_windows_icons_file = jalview_logo.ico
+install4j_png_icon_file = jalview_logo.png
+install4j_background = jalview_logo_background_fade-640x480.png
+install4j_dmg_background = jalview_default_dmg_background-72dpi.png
+install4j_dmg_ds_store = jalview_default_dmg_DS_Store
+