anchor.diff:                                   (gtk:leave-gtk-main)))
        (gtk:gtk-box-pack-start root-box container-box)
        (gtk:gtk-box-pack-start root-box minibuffer-box :expand nil)
  -     (gtk:gtk-box-pack-start container-box button)
        (gtk:gtk-box-pack-start minibuffer-box entry :expand nil)
        (gtk:gtk-box-pack-start minibuffer-box list-view :expand nil)
        (gtk:gtk-container-add window root-box)
  
positive.code: ;;;; gtk.lisp --- gtk interface
  (in-package :interface)
  
  (defparameter *next-interface* nil)
  (defparameter *character-conversion-table* (make-hash-table :test 'equalp))
  
negative.code: (defun delete-view (view)
    (declare (ignore view)))
  
  (defun make-default-context ()
    (let* ((ctx (cl-webkit2:webkit-web-context-get-default))
           (cm  (cl-webkit2:webkit-web-context-get-cookie-manager ctx)))
      (cl-webkit2:webkit-cookie-manager-set-accept-policy
       cm *cookie-accept-policy*)
      (cl-webkit2:webkit-cookie-manager-set-persistent-storage
       cm (namestring (merge-pathnames "cookies" *cookie-path-dir*)) *cookie-type*)
      ctx))
  
  (defun make-web-view ()
    (let* ((ctx (make-default-context))
           (wv (make-instance 'webkit2:webkit-web-view :context ctx)))
      wv))
  
  (defun web-view-set-url (view url)
    (webkit2:webkit-web-view-load-uri view url))
  
  (defun web-view-set-url-loaded-callback (view function)
    (declare (ignore view function)))
  
  (defun web-view-get-url (view)
    (webkit2:webkit-web-view-uri view))
  
  (defun web-view-execute (view script)
    (let ((np (cffi:null-pointer)))
      (webkit2:webkit-web-view-run-javascript view script np np np))
    "{\"hello\": \"world\"}")
  
  (defun make-minibuffer ()
  