Use different delimiter when not editing.

``pretty delimiter', looks a lot nicer. However, its something
that people are more likely to use in text, and so its probably
not suitable when the delimiter plays a functional role  as in
edit mode.