diff options
| -rw-r--r-- | lisp/progmodes/ebnf-bnf.el | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/lisp/progmodes/ebnf-bnf.el b/lisp/progmodes/ebnf-bnf.el index a55ab7aad7b..436d4421ec3 100644 --- a/lisp/progmodes/ebnf-bnf.el +++ b/lisp/progmodes/ebnf-bnf.el | |||
| @@ -5,8 +5,8 @@ | |||
| 5 | ;; Author: Vinicius Jose Latorre <vinicius@cpqd.com.br> | 5 | ;; Author: Vinicius Jose Latorre <vinicius@cpqd.com.br> |
| 6 | ;; Maintainer: Vinicius Jose Latorre <vinicius@cpqd.com.br> | 6 | ;; Maintainer: Vinicius Jose Latorre <vinicius@cpqd.com.br> |
| 7 | ;; Keywords: wp, ebnf, PostScript | 7 | ;; Keywords: wp, ebnf, PostScript |
| 8 | ;; Time-stamp: <99/11/20 18:05:05 vinicius> | 8 | ;; Time-stamp: <2000/12/19 15:29:04 vinicius> |
| 9 | ;; Version: 1.4 | 9 | ;; Version: 1.5 |
| 10 | 10 | ||
| 11 | ;; This file is part of GNU Emacs. | 11 | ;; This file is part of GNU Emacs. |
| 12 | 12 | ||
| @@ -467,8 +467,10 @@ See documentation for variable `ebnf-bnf-lex'." | |||
| 467 | 'terminal) | 467 | 'terminal) |
| 468 | ;; non-terminal or terminal | 468 | ;; non-terminal or terminal |
| 469 | ((eq token 'non-terminal) | 469 | ((eq token 'non-terminal) |
| 470 | ;; replace the range "\240-\377" (see `ebnf-range-regexp'). | ||
| 470 | (setq ebnf-bnf-lex (ebnf-buffer-substring | 471 | (setq ebnf-bnf-lex (ebnf-buffer-substring |
| 471 | "!#%&'*-,0-:<>@-Z\\^-z~\240-\377")) | 472 | (ebnf-range-regexp "!#%&'*-,0-:<>@-Z\\^-z~" |
| 473 | ?\240 ?\377))) | ||
| 472 | (let ((case-fold-search ebnf-case-fold-search) | 474 | (let ((case-fold-search ebnf-case-fold-search) |
| 473 | match) | 475 | match) |
| 474 | (if (and ebnf-terminal-regexp | 476 | (if (and ebnf-terminal-regexp |
| @@ -505,7 +507,9 @@ See documentation for variable `ebnf-bnf-lex'." | |||
| 505 | )))) | 507 | )))) |
| 506 | 508 | ||
| 507 | 509 | ||
| 508 | (defconst ebnf-bnf-comment-chars "^\n\000-\010\016-\037\177-\237") | 510 | ;; replace the range "\177-\237" (see `ebnf-range-regexp'). |
| 511 | (defconst ebnf-bnf-comment-chars | ||
| 512 | (ebnf-range-regexp "^\n\000-\010\016-\037" ?\177 ?\237)) | ||
| 509 | 513 | ||
| 510 | 514 | ||
| 511 | (defun ebnf-bnf-skip-comment () | 515 | (defun ebnf-bnf-skip-comment () |