anchor.diff:         * to user content in laboratory, and default content in bibliotheca
          */
         _setStudentSolution(code) {
  +        console.debug(`Setting student ${code}`)
           this._getStudentEditor().value = code;
         },
   
  
positive.code:       },
  
        _setExtraCode(code) {
          this._getEditorExtra().value = code;
        },
  
  
negative.code:         }
  
          mumuki.events.on('layoutChanged', () => {
            console.debug('layout changed');
            this._setStudentSolution(this._compilationMode().defaultCode);
          });
        },
  