delorie.com/archives/browse.cgi | search |
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 |
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
webmaster | delorie software privacy |
Copyright © 2019 by DJ Delorie | Updated Jul 2019 |