From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <4D68EFB0.1090905@gmail.com>
Date: Sat, 26 Feb 2011 14:18:56 +0200
From: Sasha and Tanya Kapshuk <sashaandtanya@gmail.com>
User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US;
	rv:1.9.1.16) Gecko/20101227 Icedove/3.0.11
MIME-Version: 1.0
To: Fans of the OS Plan 9 from Bell Labs <9fans@9fans.net>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Subject: Re: [9fans] changing font size acme 9term plan 9 from user space
Topicbox-Message-UUID: b50ce63c-ead6-11e9-9d60-3106f5b1d025

Hi,

I'm using Plan 9 from user space on Debian Squeeze.

I'd like to change the font size in both acme and 9term, but don't know
how to do that.

I'd appreciate a hint there please.

Thanks.

Alexander Kapshuk.




From mboxrd@z Thu Jan  1 00:00:00 1970
MIME-Version: 1.0
In-Reply-To: <4D68EFB0.1090905@gmail.com>
References: <4D68EFB0.1090905@gmail.com>
Date: Sat, 26 Feb 2011 13:06:54 +0000
Message-ID: <AANLkTim1ch_dNpsCjoLcRNFy8oC5h1UJyKeb8XrmY_y+@mail.gmail.com>
From: Jacob Todd <jaketodd422@gmail.com>
To: Fans of the OS Plan 9 from Bell Labs <9fans@9fans.net>
Content-Type: multipart/alternative; boundary=000325557876eeb3a7049d2f1ee5
Subject: Re: [9fans] changing font size acme 9term plan 9 from user space
Topicbox-Message-UUID: b510cca2-ead6-11e9-9d60-3106f5b1d025

--000325557876eeb3a7049d2f1ee5
Content-Type: text/plain; charset=UTF-8

Set $font to the font you want. I use $PLAN9/fonts/fixed/unicode.6x12.font,
there's plenty of other sizes, though.
On Feb 26, 2011 7:20 AM, "Sasha and Tanya Kapshuk" <sashaandtanya@gmail.com>
wrote:
> Hi,
>
> I'm using Plan 9 from user space on Debian Squeeze.
>
> I'd like to change the font size in both acme and 9term, but don't know
> how to do that.
>
> I'd appreciate a hint there please.
>
> Thanks.
>
> Alexander Kapshuk.
>
>

--000325557876eeb3a7049d2f1ee5
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<p>Set $font to the font you want. I use $PLAN9/fonts/fixed/unicode.6x12.fo=
nt, there&#39;s plenty of other sizes, though.</p>
<div class=3D"gmail_quote">On Feb 26, 2011 7:20 AM, &quot;Sasha and Tanya K=
apshuk&quot; &lt;<a href=3D"mailto:sashaandtanya@gmail.com">sashaandtanya@g=
mail.com</a>&gt; wrote:<br type=3D"attribution">&gt; Hi,<br>&gt; <br>&gt; I=
&#39;m using Plan 9 from user space on Debian Squeeze.<br>
&gt; <br>&gt; I&#39;d like to change the font size in both acme and 9term, =
but don&#39;t know <br>&gt; how to do that.<br>&gt; <br>&gt; I&#39;d apprec=
iate a hint there please.<br>&gt; <br>&gt; Thanks.<br>&gt; <br>&gt; Alexand=
er Kapshuk.<br>
&gt; <br>&gt; <br></div>

--000325557876eeb3a7049d2f1ee5--



From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <4D68FC36.5020501@gmail.com>
Date: Sat, 26 Feb 2011 15:12:22 +0200
From: Sasha and Tanya Kapshuk <sashaandtanya@gmail.com>
User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US;
	rv:1.9.1.16) Gecko/20101227 Icedove/3.0.11
MIME-Version: 1.0
To: Fans of the OS Plan 9 from Bell Labs <9fans@9fans.net>
References: <4D68EFB0.1090905@gmail.com>
	<AANLkTim1ch_dNpsCjoLcRNFy8oC5h1UJyKeb8XrmY_y+@mail.gmail.com>
In-Reply-To: <AANLkTim1ch_dNpsCjoLcRNFy8oC5h1UJyKeb8XrmY_y+@mail.gmail.com>
Content-Type: multipart/alternative;
	boundary="------------030101090503050908070407"
Subject: Re: [9fans] changing font size acme 9term plan 9 from user space
Topicbox-Message-UUID: b515b974-ead6-11e9-9d60-3106f5b1d025

This is a multi-part message in MIME format.
--------------030101090503050908070407
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit

On 02/26/2011 03:06 PM, Jacob Todd wrote:
>
> Set $font to the font you want. I use
> $PLAN9/fonts/fixed/unicode.6x12.font, there's plenty of other sizes,
> though.
>
> On Feb 26, 2011 7:20 AM, "Sasha and Tanya Kapshuk"
> <sashaandtanya@gmail.com <mailto:sashaandtanya@gmail.com>> wrote:
> > Hi,
> >
> > I'm using Plan 9 from user space on Debian Squeeze.
> >
> > I'd like to change the font size in both acme and 9term, but don't know
> > how to do that.
> >
> > I'd appreciate a hint there please.
> >
> > Thanks.
> >
> > Alexander Kapshuk.
> >
> >
Thanks.
I'll give that a try.


--------------030101090503050908070407
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: 7bit

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
  <meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#ffffff">
On 02/26/2011 03:06 PM, Jacob Todd wrote:
<blockquote
 cite="mid:AANLkTim1ch_dNpsCjoLcRNFy8oC5h1UJyKeb8XrmY_y+@mail.gmail.com"
 type="cite">
  <p>Set $font to the font you want. I use
$PLAN9/fonts/fixed/unicode.6x12.font, there's plenty of other sizes,
though.</p>
  <div class="gmail_quote">On Feb 26, 2011 7:20 AM, "Sasha and Tanya
Kapshuk" &lt;<a moz-do-not-send="true"
 href="mailto:sashaandtanya@gmail.com">sashaandtanya@gmail.com</a>&gt;
wrote:<br type="attribution">
&gt; Hi,<br>
&gt; <br>
&gt; I'm using Plan 9 from user space on Debian Squeeze.<br>
&gt; <br>
&gt; I'd like to change the font size in both acme and 9term, but don't
know <br>
&gt; how to do that.<br>
&gt; <br>
&gt; I'd appreciate a hint there please.<br>
&gt; <br>
&gt; Thanks.<br>
&gt; <br>
&gt; Alexander Kapshuk.<br>
&gt; <br>
&gt; <br>
  </div>
</blockquote>
Thanks.<br>
I'll give that a try.<br>
<br>
</body>
</html>

--------------030101090503050908070407--