diff options
Diffstat (limited to 'pgshell/pgshell.el')
-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 ) |