From f2a08e7eca05aeea848711626ccb073d9508b605 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 6 Apr 2004 16:04:28 +0000 Subject: Set syntax table for comments, turn on fly-past-commetns. --- pgshell/pgshell.el | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) (limited to 'pgshell/pgshell.el') 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 ) -- cgit v1.2.3