On Monday, February 27, 2017 at 8:28:56 AM UTC-8, Evgeny Mandrikov wrote: > > > On Monday, February 27, 2017 at 5:18:31 PM UTC+1, David Karr wrote: > >> tooltips won't be seen unless you hover the mouse over the column header > > > Tooltips are not a bad idea. > But I saw people, who are not able to find tooltips, in exactly the same > way as you overlooked missing column separators :) and they anyway will ask > question :) > Addition of a help icon and link to help page? Also not sure, because > believe that usually "Sessions" page (link is in right top corner) is > overlooked. > > Some people are just hopeless :) . Seriously, tooltips are something that many people think to check for, and many others who discover them accidentally. It's just a way to provide additional information that doesn't get in the way of experienced users.
Concerning the "Sessions" page, I would imagine it's mostly overlooked because most people don't have a clue what it's for. I don't know what it's for. Don't consider that a request to explain it here, I'm just pointing that out to give you some perspective. I would imagine the vast majority of people who deliberately navigate to this page will understand what "line coverage" is. Somewhat fewer will understand "branch coverage", hardly any will understand "complexity coverage" (I still don't), and most will never even notice the "Sessions" link or know what it's for. Look at this page from that perspective, and you'll see the value of providing informational tooltips on some of those headers and links. I think you already see it, just providing more emphasis. As developers of a framework or application, we often don't have the perspective of ordinary users. -- You received this message because you are subscribed to the Google Groups "JaCoCo and EclEmma Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jacoco/93ea0e8d-f7d2-4905-9076-22bb5acf45d6%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
