David A. Wheeler: >> POTENTIAL IMPROVEMENT: >> Maybe there'd be a way to the hover information more discoverable >> AND modify things so it's invokable in mobile devices (say by onclick).
Norman Megill: >I don't know how to solve the mobile problem, but for PC browsers >perhaps >it would be useful to add to each page a sentence on each page saying >something like, "Hover over a label link for more information." At least that would be easy, but that text would be far away from the hovering area and thus might be easily missed. It also wouldn't solve it for mobile users. We can't be the only ones with that problem. Here's one article that suggests an alternative: https://uxmovement.com/mobile/how-to-display-tooltips-on-mobile-forms/ Basically, add a symbol where you want the tooltip, so that mobile users have something to press and everyone has an indication that there is something there The same article uses a colored "?" with a circle around it (we could add that right after the symbol reference). We could use CSS so that the symbol is not displayed when printed, since it would not be useful in that case. I don't know how hard that would be, but it would probably not be too hard. What do people think about that idea? --- David A.Wheeler -- You received this message because you are subscribed to the Google Groups "Metamath" 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/metamath/A3E7C32B-084C-4AA8-AD9D-B69D110B1910%40dwheeler.com.
