Re: [anjuta-list] How to change font size in Anjuta 3.4

From: Johannes Schmid <jhs jsschmid de>
To: Scott Deagan <scott deagan gmail com>
Cc: anjuta-list gnome org
Subject: Re: [anjuta-list] How to change font size in Anjuta 3.4
Date: Tue, 11 Dec 2012 20:39:42 +0100

Hi Scott!

Am Dienstag, den 11.12.2012, 01:00 +0000 schrieb Scott Deagan:
> I'm a complete newbie, just installed Anjuta 3.4. The font size in the
> editor a very large (perhaps 16pt). How can I change this to a more
> reasonable 10pt or 12pt

Edit->Preferences, page "GtkSourceView Editor", page "Font", maybe
uncheck "Use them font" and choose whatever you like.

Regards,
Johannes

Attachment: signature.asc
Description: This is a digitally signed message part

Follow-Ups:
- Re: [anjuta-list] How to change font size in Anjuta 3.4
  - From: Scott Deagan

References:
- [anjuta-list] How to change font size in Anjuta 3.4
  - From: Scott Deagan

[Date Prev][Date Next] [Thread Prev][Thread Next] [Thread Index] [Date Index] [Author Index]