Ticket #423: widget.patch

File widget.patch, 1.3 KB (added by Robin Green, 13 years ago)

patch

  • generic/pg-custom.el 

    # HG changeset patch
# User Robin Green <greenrd@greenrd.org>
# Date 1315751113 -3600
# Node ID 11102eb6c13729ded8ec32133e824af9c409a2ce
# Parent  d54b18f587f0e51cff9d8236aa9bae6bc7afa18f
Use correct customisation widget for variable-length list of strings

diff --git a/generic/pg-custom.el b/generic/pg-custom.el
    a b  
    9595word, with no space (unless it is the same word). For example if the
    9696arguments are -x foo -y bar, then the list should be '(\"-x\" \"foo\"
    9797\"-y\" \"bar\"), notice that '(\"-x foo\" \"-y bar\") is *wrong*."
    98   :type '(list string)
     98  :type '(repeat string)
    9999  :group 'proof-shell)
    100100
    101101(defpgcustom prog-env nil
    … …  
    104104added to the environment before launching the prover (but not pervasively).
    105105For example for coq on Windows you might need something like:
    106106\(setq coq-prog-env '(\"HOME=C:\\Program Files\\Coq\\\"))"
    107   :type '(list string)
     107  :type '(repeat string)
    108108  :group 'proof-shell)
    109109
    110110(defpgcustom quit-timeout
    … …  
    150150If this table is empty or needs adjusting, please make changes using
    151151`customize-variable' and post suggestions at
    152152http://proofgeneral.inf.ed.ac.uk/trac"
    153   :type '(list string)
     153  :type '(repeat string)
    154154  :group 'prover-config)
    155155
    156156;; TODO: not used yet.