I find that when zoomed in a trying to find a very dim object, I want to check reported magnitudes of stars to stars I see in the eyepiece. Right now, you tap a given star and check what the mag is, but then that changes the object selection.
adding a 'display star magnitudes' toggle in the upper left menu that appears (with DSO and star magnitude limits) would be great, or somewhere else.
the usual no-decimal reporting is fine, or even with decimal, just fine. This also helps with those "limiting magnitude" feature requests, as we can zoom in on a region we are looking, toggle the star mag display, and check what stars we can and cant see.
