diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-04-06 16:04:28 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-04-06 16:04:28 +0000 |
| commit | f2a08e7eca05aeea848711626ccb073d9508b605 (patch) | |
| tree | 78458721740704ab041ca186d11b411f2108ebab /pgshell | |
| parent | 6e72e81ca667f7b6804fb7dee2eb934c63273063 (diff) | |
Set syntax table for comments, turn on fly-past-commetns.
Diffstat (limited to 'pgshell')
| -rw-r--r-- | pgshell/pgshell.el | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/pgshell/pgshell.el b/pgshell/pgshell.el index 60ef9e91..c94dba01 100644 --- a/pgshell/pgshell.el +++ b/pgshell/pgshell.el @@ -17,12 +17,20 @@ (require 'proof-easy-config) (require 'proof-syntax) -(proof-easy-config 'pgshell "PG-Shell" - proof-prog-name "/bin/sh" ;; or choose your shell +(proof-easy-config 'pgshell "PG-Shell" + + proof-prog-name "/bin/sh" ;; or choose your program proof-terminal-char ?\; ;; better: parse the syntax proof-script-comment-start "\#" proof-shell-annotated-prompt-regexp "^.*[$] $" ;; matches shell prompts + proof-script-fly-past-comments t ;; nice for single-line comments + + ;; Set syntax table to get font-locking and editing features for comments. + ;; see Elisp documentation of `modify-syntax-entry' + proof-script-syntax-table-entries + '(?\# "<" ?\n ">") + ;; next setting is just to prevent warning proof-save-command-regexp proof-no-regexp ) |