script {
      public toggled = 0;
      public disabled = 0;
      
      public update_state() {
         if (get_int(toggled) == 0) {
            if (get_int(disabled) == 0)
               set_state(PART:"button", "default", 0.0);
               // set_state(PART:"button_shadow", "default", 0.0);
               // set_state(PART:"button_shadow_overlay", "default", 0.0);
            else
               set_state(PART:"button", "disabled", 0.0);
               // set_state(PART:"button_shadow", "default", 0.0);
               // set_state(PART:"button_shadow_overlay", "default", 0.0);
         }
         else {
            if (get_int(disabled) == 0)
               set_state(PART:"button", "toggled", 0.0);
               // set_state(PART:"button_shadow", "default", 0.0);
               // set_state(PART:"button_shadow_overlay", "default", 0.0);
            else
               set_state(PART:"button", "disabled-toggled", 0.0);
         }
      }
   }