82             }

    82             }

    83         }

    83         }

    84 

    84 

    85         dispatch(value) {

    85         dispatch(value) {

    86             this.disabled = !Number(value);

    86             this.disabled = !Number(value);

    87             this.update_state();

    90             this.update_state();

    88         }

    91         }

    89 ||

    92 ||

    90 }

    93 }

    91 

    94 

   140         if "not(func:same_class_paths($target_page_path, path[1]/@value))"

   143         if "not(func:same_class_paths($target_page_path, path[1]/@value))"

   141             error > Jump id="«@id»" to page "«$target_page_name»" with incompatible path "«path[1]/@value» (must be same class as "«$target_page_path»")

   144             error > Jump id="«@id»" to page "«$target_page_name»" with incompatible path "«path[1]/@value» (must be same class as "«$target_page_path»")

   142     }

   145     }

   143 }

   146 }

   144 

   147 

   145 emit "cssdefs:jump"

   149 emit "cssdefs:jump"

   146 ||

   150 ||

   147 .fade-out-page {

   151 .fade-out-page {

   148     animation: cubic-bezier(0, 0.8, 0.6, 1) fadeOut 0.6s both;

   152     animation: cubic-bezier(0, 0.8, 0.6, 1) fadeOut 0.6s both;

   149 }

   153 }