D18229: Contextbrowser: Ability to show combined problems and decl tooltip

[Thomas Schöps]

thomassc added a comment.


  Interesting, I didn't know about the mode which highlights problematic lines. Thanks a lot for pointing it out. I had to look for it, and it turned out that this setting is at: Settings dialog -> Language Support -> Semantic Code Highlighting block -> Highlight problematic lines. I can't remember deactivating this, so it's probably off by default? It seems potentially very useful though, given that the underlines are sometimes easy to overlook, and the red line highlighting also shows up in the scrollbar minimap as you write. When this setting is active, the region where the problem tooltip shows up indeed makes more sense to me. It still doesn't match up though, for example if there are some whitespace lines before the line with the error, then the tooltip will also show when hovering somewhere over these whitespace lines.
  
  > Error reports only come with a line number so you don't have any additional information to limit the spatial context where you can trigger the popup.
  
  Actually in your screenshot the error underlining is also visible which is confined to the precise error location ("NewDoc" is underlined in both error lines). The underlining is just hard to see here. This might be due to this KTextEditor bug: https://bugs.kde.org/show_bug.cgi?id=403868
  
  Omitting the problem tooltip if it's large makes it a bit unpredictable to the user. He/she then won't know in advance whether hovering over a location that might show a combined tooltip will actually show it or not.

REPOSITORY
  R32 KDevelop

REVISION DETAIL
  https://phabricator.kde.org/D18229

To: thomassc, #kdevelop, mwolff
Cc: rjvbb, mwolff, kdevelop-devel, glebaccon, domson, antismap, iodelay, alexeymin, geetamc, Pilzschaf, akshaydeo, surgenight, arrowd
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.kde.org/pipermail/kdevelop-devel/attachments/20190223/60c2661c/attachment-0001.html>