Bernd Brinkmann Oct 9 2:18 AM
> Is there a way to set the time so it shows leading zeros in the legend? Iright click on the RA/Decl. area in the legend. Mark the field "Show leading
> seem to remember such in the manual or on the Project Pluto website, but
> can't find it now.