Eugen Rochko 9b1d3e4acb Add option to disable real-time updates in web UI (#9984) ... Fix #9031 Fix #7913		2019-07-16 06:30:47 +02:00
..
clear_column_button.js	…
column_settings.js	…
filter_bar.js	…
notification.js	…
setting_toggle.js	Add option to disable real-time updates in web UI (#9984)	2019-07-16 06:30:47 +02:00