Lars Vogel

Eclipse ist currently in release freeze but we should open master soon again. And I assume this means reviews will continue. Fabrice TIERCELIN schrieb am Sa., 7. Sep. 2019, 15:58:...

If I scroll over, it looks even worst: 

> The awful things is that I cannot reproduce with Windows OS. Please help me! Can you give me some pointer what I should debug?

@angelozerr can you provide a small isolated code minining example via https://bugs.eclipse.org/bugs/show_bug.cgi?id=534793? This might make it easier for me to get started.

I personally do not have a strong opinion here.

The only suggestion is to enable the display of the detailed list only if the option is selected to avoid UI complexity. 

Sure, https://bugs.eclipse.org/bugs/show_bug.cgi?id=532822

Awesome! I did miss that you already in process of moving your code minings to JDT. Great news for all Eclipse users. Thanks. On Fri, Nov 2, 2018 at 3:40...

+1

Also you should use line minings instead of header minings, the error messages should be in the same line as the error marker Angelo schrieb am Fr., 26. Okt. 2018,...