diff options
| author | Michael Gauland | 2013-10-21 20:47:32 -0400 |
|---|---|---|
| committer | Glenn Morris | 2013-10-21 20:47:32 -0400 |
| commit | a0f143c90aa823abced50061844eb66704fe9c65 (patch) | |
| tree | 1bde0600a0aab1559ce2ea49ef5d41d177e8fbdb | |
| parent | 18cacc392d076dfd78b58e842116c0c578aaf3c7 (diff) | |
| download | emacs-a0f143c90aa823abced50061844eb66704fe9c65.tar.gz emacs-a0f143c90aa823abced50061844eb66704fe9c65.zip | |
* lisp/progmodes/ebnf2ps.el (ebnf-prologue): Avoid PS error with some
viewers such as evince when ebnf-production-name-p is nil.
Fixes: debbugs:15625
| -rw-r--r-- | lisp/ChangeLog | 5 | ||||
| -rw-r--r-- | lisp/progmodes/ebnf2ps.el | 2 |
2 files changed, 6 insertions, 1 deletions
diff --git a/lisp/ChangeLog b/lisp/ChangeLog index 9a00661aef9..9a5e8dccc0c 100644 --- a/lisp/ChangeLog +++ b/lisp/ChangeLog | |||
| @@ -1,3 +1,8 @@ | |||
| 1 | 2013-10-22 Michael Gauland <mikelygee@amuri.net> | ||
| 2 | |||
| 3 | * progmodes/ebnf2ps.el (ebnf-prologue): Avoid PS error with some | ||
| 4 | viewers such as evince when ebnf-production-name-p is nil. (Bug#15625) | ||
| 5 | |||
| 1 | 2013-10-21 Dmitry Gutov <dgutov@yandex.ru> | 6 | 2013-10-21 Dmitry Gutov <dgutov@yandex.ru> |
| 2 | 7 | ||
| 3 | * progmodes/ruby-mode.el (ruby-smie-grammar): Remove outdated | 8 | * progmodes/ruby-mode.el (ruby-smie-grammar): Remove outdated |
diff --git a/lisp/progmodes/ebnf2ps.el b/lisp/progmodes/ebnf2ps.el index caa33d36440..4c2dfc98285 100644 --- a/lisp/progmodes/ebnf2ps.el +++ b/lisp/progmodes/ebnf2ps.el | |||
| @@ -3912,7 +3912,7 @@ See documentation for `ebnf-terminal-shape', `ebnf-non-terminal-shape' and | |||
| 3912 | {/Effect EffectP def | 3912 | {/Effect EffectP def |
| 3913 | /fP F ForegroundP SetRGB BackgroundP aload pop true BG S | 3913 | /fP F ForegroundP SetRGB BackgroundP aload pop true BG S |
| 3914 | /Effect 0 def | 3914 | /Effect 0 def |
| 3915 | ( :) S false BG}if | 3915 | ( :) S false BG}{pop}ifelse |
| 3916 | xw yw moveto | 3916 | xw yw moveto |
| 3917 | hT EL RA | 3917 | hT EL RA |
| 3918 | xp yw moveto | 3918 | xp yw moveto |