Pluto as a star

Gah. Finally found the setting. In the Chart Preferences dialog, on the Misc. tab, there's a setting called When zoomed-out draw planets as with the choices Symbols and As stars. Last night, we found the SkyTools presentation of Pluto distracting, with the stylised circled P_L. At the time I could not spot how to change it. As is well, now!

Found it in the manual. Yes, I RTFM.