···

       
173
       
173
       
 
       


     

       
174
       
174
       
 
       
    if (val == null) {

     

       
175
       
175
       
 
       
      this.config.extensions[id] = { enabled };

     

       
176
       
176
       
+
       
      this.modified = this.isModified();

     

       
176
       
177
       
 
       
      this.emitChange();

     

       
177
       
178
       
 
       
      return;

     

       
178
       
179
       
 
       
    }