Lawrence Oct 5 6:43 AM
> The following may sound vaguely familiar... I think we correspondedHello Bill
>about it a year or so ago:
>
> By default, Guide switches between rendering planets as disks and
>rendering them as symbols when they reach a certain on-screen size.
>You can alter this by hitting Alt-J and entering, say,
>
>MIN_PLANET_SIZE=10