allow disabling rgb bindings (#818)

Author: lemonlime4

pad/editor/src/lib.rs

@@ -1727,6 +1727,13 @@ pub fn Editor<'a>(
         let input: HtmlSelectElement = event.target().unwrap().dyn_into().unwrap();
         set_gayness(input.value().as_str().into());
     };
+    let toggle_rgb_bindings = move |_| {
+        set_timeout(
+            move || get_state.get().refresh_code(),
+            Duration::from_millis(0),
+        );
+        set_rgb_bindings(!get_rgb_bindings());
+    };
     set_font_name(&get_font_name());
     set_font_size(&get_font_size());
 
@@ -1992,6 +1999,14 @@ pub fn Editor<'a>(
                                 </option>
                             </select>
                         </div>
+                        <div title="Color constant [r g b] bindings according to their value">
+                            "RGB bindings:"
+                            <input
+                                type="checkbox"
+                                checked=get_rgb_bindings
+                                on:change=toggle_rgb_bindings
+                            />
+                        </div>
                         <div title="Show line values to the right of the code">
                             "Show values:"
                             <input
@@ -2437,6 +2452,9 @@ fn binding_class(name: &str, docs: &BindingDocs) -> &'static str {
 }
 
 fn binding_style(docs: &BindingDocs) -> String {
+    if !get_rgb_bindings() {
+        return String::new();
+    }
     if let BindingDocsKind::Constant(Some(val)) = &docs.kind {
         if let Ok(nums) = val.as_nums(&IgnoreError, "") {
             if let [r, g, b] = *nums {

pad/editor/src/utils.rs

@@ -1629,6 +1629,13 @@ pub fn set_gayness(gayness: Gayness) {
     _ = window().location().reload();
 }
 
+pub fn get_rgb_bindings() -> bool {
+    get_local_var("rgb-bindings", || true)
+}
+pub fn set_rgb_bindings(rgb_bindings: bool) {
+    set_local_var("rgb-bindings", rgb_bindings);
+}
+
 fn update_style() {
     let font_name = get_font_name();
     let font_size = get_font_size();