X-Authentication-Warning: delorie.com: mail set sender to geda-user-bounces using -f
X-Recipient: geda-user AT delorie DOT com
X-Originating-IP: 84.92.49.234
Date: Sat, 30 Jun 2018 18:59:07 +0100
From: Chris Green <cl AT isbd DOT net>
To: geda-user AT delorie DOT com
Subject: Re: [geda-user] Change font size for a lot of things together
Message-ID: <20180630175906.GA25788@esprimo>
Mail-Followup-To: geda-user AT delorie DOT com
References: <20180629211548 DOT GA8203 AT esprimo>
 <20180630173720 DOT 5a08d41d AT demon>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <20180630173720.5a08d41d@demon>
User-Agent: Mutt/1.6.1 (2016-04-27)
X-Spam-Level: 
Reply-To: geda-user AT delorie DOT com
Errors-To: nobody AT delorie DOT com
X-Mailing-List: geda-user AT delorie DOT com
X-Unsubscribes-To: listserv AT delorie DOT com
Precedence: bulk

On Sat, Jun 30, 2018 at 05:37:20PM +0300, (graahnul DOT grom AT gmail DOT com) [via geda-user AT delorie DOT com] wrote:
>  
> > In particular I have a lot of pins on a diagram and I
> > want to reduce the size of text for the name and pin
> > number for al of them.  
> 
> Font size for pins are set inside symbol, so you need to
> change the symbol itself.
> 
OK, thanks all.

-- 
Chris Green