diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-04-06 16:28:46 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-04-06 16:28:46 +0000 |
| commit | 0e9241e75ed1082ae2397a198c4b8b8101fff54d (patch) | |
| tree | 296304ff63f31d525e3012733fcd7f546718ab6a /pgshell | |
| parent | 920e54cc2d30f42d2985c9e0f112553738ddbd04 (diff) | |
Comments
Diffstat (limited to 'pgshell')
| -rw-r--r-- | pgshell/pgshell.el | 15 |
1 files changed, 7 insertions, 8 deletions
diff --git a/pgshell/pgshell.el b/pgshell/pgshell.el index c94dba01..665c63d1 100644 --- a/pgshell/pgshell.el +++ b/pgshell/pgshell.el @@ -19,17 +19,16 @@ (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-prog-name "/bin/sh" ;; or your program + proof-terminal-char ?\; ;; end of commands + proof-script-comment-start "\#" ;; comments + proof-shell-annotated-prompt-regexp "^.*[$] $" ;; matches prompts - proof-script-fly-past-comments t ;; nice for single-line comments + proof-script-fly-past-comments t ;; nice for single-line - ;; Set syntax table to get font-locking and editing features for comments. + ;; Syntax table gets font-locking and editing features for comments. ;; see Elisp documentation of `modify-syntax-entry' - proof-script-syntax-table-entries - '(?\# "<" ?\n ">") + proof-script-syntax-table-entries '(?\# "<" ?\n ">") ;; next setting is just to prevent warning proof-save-command-regexp proof-no-regexp |