2023-05-27 22:25:52 +05:30
|
|
|
= gitlab_ui_form_for @application_setting, url: preferences_admin_application_settings_path(anchor: 'js-realtime-settings'), html: { class: 'fieldset-form' } do |f|
|
2022-10-11 01:57:18 +05:30
|
|
|
= form_errors(@application_setting)
|
2018-05-09 12:01:36 +05:30
|
|
|
|
|
|
|
%fieldset
|
|
|
|
.form-group
|
2021-04-29 21:17:54 +05:30
|
|
|
= f.label :polling_interval_multiplier, _('Polling interval multiplier'), class: 'label-bold'
|
2021-03-11 19:13:27 +05:30
|
|
|
= f.text_field :polling_interval_multiplier, class: 'form-control gl-form-input'
|
2018-11-08 19:23:39 +05:30
|
|
|
.form-text.text-muted
|
2021-10-27 15:23:28 +05:30
|
|
|
= _('Multiplier to apply to polling intervals. Decimal values are supported. Defaults to 1.')
|
2018-05-09 12:01:36 +05:30
|
|
|
|
2023-05-27 22:25:52 +05:30
|
|
|
= f.submit _('Save changes'), pajamas_button: true
|