 (defun set-property (id name value)
   (if (in-setproperties-mode)
     (let ((params (list :id id :name name :value value)))
-       (fetch-path "set?request=" context params))))
+       (fetch-path "set?request=" nil params)))
+  (fetch-view))
 
 (defun push-view ()
   (let ((context (clone-context)) (entity (buffer-string)))
     (set-view entity context)
     (set-mode brain-const-edit-mode context)
     (fetch-path-post "update" context nil)))
-         
+
 (defun do-infer-types ()
   (http-get
    (concat (base-url) "infer-types") 'receive-inference-results))


;; COMMUNICATION ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

;; from Emacs-w3m
(defun w3m-url-encode-string (str &optional coding)
  ;;(interactive)(read-from-minibuffer (concat "arg: " str))
  (apply (function concat)
         (mapcar (lambda (ch)
                   (cond

(defun set-view-properties (view-properties &optional context) (set-bufferlocal context 'view-properties view-properties))
(defun set-view-style (view-style &optional context) (set-bufferlocal context 'view-style view-style))

(defconst NIL "none")

(defun default-context () (list
