Item13485: emboldened text before a br tag

There seem to be some formatting problems when emboldened text immediately precedes a <br> tag:

• The space before the <br> tag *shouldn't be needed,*
  but it is.

• The space before the <br> tag shouldn't be needed,
  but it is.

Here's an example where the emboldening extends onto the following line:

• If T is a type definition where Name is a variable*
  and Type is a *type, then:
  Name :: Type yields:
  Rep(T) = { ann_type, LINE, [Rep(Name), Rep(Type)] }

-- RichMorin - 29 Jun 2015

This is probably a "Feature request" ... The markup is defined in EditingShorthand as

You can follow the closing bold, italic, or other (* _ __ = ==) indicator with normal punctuation, such as commas and full stops.

It's worked this way for a very long time. Changes like this have a risk of breaking existing topics with the new interpretation.

-- GeorgeClark - 29 Jun 2015

Perhaps, but I can't imagine anyone wanting the current behavior. So, why not take a look and see what's involved?

-- RichMorin - 30 Jun 2015

Commenting is disabled while not logged in