Exception names with backticks are incorrectly displayed

[psfinaki]

Consider the following code:

exception SomeError of ``thing with space``: string

The tooltip is displayed like this:

It looks strange, the backticks should be preserved in the display name.

[baronfel]

I'd push back on that - I think that tooltip formatting looks perfectly fine as is. Double backticks in the tooltip would be more visual noise (but it would align with the code written, I'll grant you that).

[psfinaki]

@dsyme?

[vzarytovskii]

I'd push back on that - I think that tooltip formatting looks perfectly fine as is. Double backticks in the tooltip would be more visual noise (but it would align with the code written, I'll grant you that).

Yeah, i think as long as it's visually distinguishable (colour, and maybe some additional font styling/formatting, for visually impaired) should he good enough. I think backticks will bring heaviness to the tooltip.

[baronfel]

Also from a selfish perspective if the backticks are added to the text portions of the TaggedTexts then FsAutoComplete will have to do extra work to detect and remove them for tooltips, since backticks are valid markdown characters for styling purposes.

[dsyme]

The main thing here is consistency - we should do whatever we do for values, functions, methods, types, union cases, record fields.

My understanding from the deep code review we did is that we add back ticks for tool tips in these cases, so we should make this case consistent and then deal with alternative choices systematically in a separate issue