Suppress multiple (Source) markers in hint
Original Reporter info from Mantis: MarkMLl @MarkMLl
-
Reporter name: Mark Morgan Lloyd
Original Reporter info from Mantis: MarkMLl @MarkMLl
- Reporter name: Mark Morgan Lloyd
Description:
A popup hint giving procedure declaration etc. information is cluttered by (Source) appended to every comment line, when comments are laid out with every line terminated explicitly.
Attached patch ensures that (Source) is only output once.
Steps to reproduce:
(* The case that causes the problem is when )
( multiline comments are laid out like this )
( for emphasis. *)
Additional information:
It might be nice to replace the (Source) with a graphical callout glyph, but the (default) viewer doesn't understand HTML entities and the font appears to be 7-bit only.
Mantis conversion info:
- Mantis ID: 25506
- Platform: All
- Version: 1.3 (SVN)
- Fixed in revision: 44461 (#93e4daea)
- Monitored by: » @martin_frb (Martin Friebe)