anchor.diff:         (string mapped-character)))))
   
   (defun set-visible-view (view)
  -  (declare (ignore view)))
  +  (gtk:gtk-container-foreach
  +   (container-view *next-interface*)
  +   (lambda (widget) (gtk:gtk-container-remove (container-view *next-interface*) widget)))
  +  (gtk:gtk-box-pack-start (container-view *next-interface*) view)
  +  (gtk:gtk-widget-show view))
   
   (defun delete-view (view)
     (declare (ignore view)))
   
  -(defun make-web-view ())
  +(defun make-web-view ()
  +  (make-instance 'gtk:gtk-button
  +                 :label "about:blank"))
   
   (defun web-view-set-url (view url)
     (declare (ignore view url)))
  
positive.code: 
  (defun minibuffer-show ()
    (gtk:gtk-widget-show (container-view (minibuffer-view *next-interface*)))
    (gtk:gtk-widget-grab-focus (input-entry (minibuffer-view *next-interface*))))
  
  (defun minibuffer-hide ()
    (gtk:gtk-widget-hide (container-view (minibuffer-view *next-interface*))))
  
  (defun minibuffer-set-input (input)
  
negative.code:       (let ((completions (funcall completion-function (get-input self))))
          (when completions
            (completions-add self completions)
            (setf (completions self) completions)
            (highlight-completion self 0))))))
  
  (defmethod highlight-completion ((self minibuffer-view) index)
  