bug#20545: New minor mode Electric Punct

[Eli Zaretskii]

> Date: Wed, 13 May 2015 20:16:23 +0300
> From: Eli Zaretskii <eliz@gnu.org>
> Cc: 20545@debbugs.gnu.org
> 
> > Date: Wed, 13 May 2015 09:56:12 -0700
> > From: Paul Eggert <eggert@cs.ucla.edu>
> > CC: 20545@debbugs.gnu.org
> > 
> > Eli Zaretskii wrote:
> > > do we really need the underscores?
> > > What would be their purpose?
> > 
> > To tell the user that the characters are not really "`" and "'", but are 
> > something else.
> 
> I fear it will just be a source of confusion.  FWIW, when Texinfo's
> Info reader makes similar replacements, it doesn't mark them in any
> way, so the user really doesn't know the characters were replaced.

If you still think we should highlight these characters, then let's at
least do that in the same manner as we do with non-ASCII hyphen,
conditioned on nobreak-char-display (see xdisp.c around line 6900 for
the details).