X-Authentication-Warning: delorie.com: mail set sender to geda-user-bounces using -f
X-Recipient: geda-user AT delorie DOT com
Date: Sun, 20 May 2018 22:44:04 +0100
From: Chris Green <cl AT isbd DOT net>
To: geda-user AT delorie DOT com
Subject: [geda-user] How to change text size of a pinnumber?
Message-ID: <20180520214403.GA8050@esprimo>
Mail-Followup-To: geda-user AT delorie DOT com
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
User-Agent: Mutt/1.6.1 (2016-04-27)
X-Spam-Level: *
Reply-To: geda-user AT delorie DOT com

As per the subject - how does on change the text size of a visible
pinnumber attribute?  It certainly can be done because I have some
pins with text size set to 8 but I can't set the size for pins I add
to anything other than 10.

-- 
Chris Green