etc/proofgeneral-settings.el

update_perspective without actual edits, bypassing the full state assignment protocol;
edit_nodes/Perspective: do not touch_descendants here;
propagate editor scroll events via update_perspective;
misc tuning;

;;; Options for Proof General
;;;
;;; Examples for sensible settings:

;; keep sources clean
(custom-set-variables '(indent-tabs-mode nil))

;; retain vital AltGr behaviour, e.g. on non-US Mac OS X
;(custom-set-variables '(ns-alternate-modifier 'none))

;; longer timeout for saving persistent session
;(custom-set-variables '(proof-shell-quit-timeout 60))