anchor.diff:  
      Note: WebKit supports three proxy 'modes': default (the system proxy),
      custom (the specified proxy) and none."
  +  (setf (proxy-uri buffer) proxy-uri)
  +  (setf (proxy-ignored-hosts buffer) ignore-hosts)
     (let* ((context (webkit:webkit-web-view-web-context (gtk-object buffer)))
            (settings (cffi:null-pointer))
            (mode :webkit-network-proxy-mode-no-proxy)
  
positive.code: (defparameter *window-class* 'gtk-window)
  
  (serapeum.exporting:defclass gtk-buffer (buffer)
    ((gtk-object :accessor gtk-object)))
  
  (define-class-type buffer)
  (declaim (type (buffer-type) *buffer-class*))
  
negative.code:      context
       :webkit-network-proxy-mode-custom settings)))
  
  (serapeum:export-always 'ffi-buffer-get-proxy)
  (defmethod ffi-buffer-get-proxy ((buffer gtk-buffer))
    "Return the proxy URI and list of ignored hosts (a list of strings) as second value."
    (values (proxy-uri buffer)
            (proxy-ignored-hosts buffer)))
  
  (serapeum:export-always 'ffi-generate-input-event)
  (defmethod ffi-generate-input-event ((window gtk-window) event)
    ;; The "send_event" field is used to mark the event as an "unconsumed"
  