- var zoom = document.getElementById('chk-zoom').checked;
- var selection = document.getElementById('chk-selection').checked;
+ var zoom = document.getElementById('chk-zoom').checked,
+ selection = document.getElementById('chk-selection').checked,
+ syncRange = document.getElementById('chk-range').checked;
+ document.getElementById('chk-range').disabled = !zoom;
+