utils/channels/default/channel_gradle.properties

   1 # These properties will be read into the build.gradle REPLACING any properties with the same name in gradle.properties
   2 # BEFORE local_properties is read
   3 # The purpose of this is to change cosmetic/themed items, and use the channel specific channels_properties file in Jalview
   4 getdown_images_dir = utils/channels/default/images
   5 getdown_background_image = jalview_getdown_background.png
   6 getdown_instant_background_image = jalview_getdown_background_initialising.png
   7 getdown_error_background = jalview_getdown_background_error.png
   8 getdown_progress_image = jalview_getdown_progress_bar.png
   9 getdown_mac_dock_icon = jalview_logo.icns
  10 getdown_icon = jalview_logo.png
  11 getdown_txt_allow_offline = true
  12 getdown_txt_max_concurrent_downloads = 10
  13 getdown_txt_ui.install_error = https://www.jalview.org/faq/getdownerror
  14 getdown_txt_ui.hide_decorations = true
  15 install4j_images_dir = utils/channels/release/images
  16 install4j_mac_icons_file = jalview_logo.icns
  17 install4j_windows_icons_file = jalview_logo.ico
  18 install4j_png_icon_file = jalview_logo.png
  19 install4j_background = jalview_logo_background_fade-640x480.png
  20 install4j_dmg_background = jalview_default_dmg_background.png
  21 install4j_dmg_ds_store = jalview_default_dmg_DS_Store
  22