[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: GUI font and cursor location
From: |
Mike Miller |
Subject: |
Re: GUI font and cursor location |
Date: |
Mon, 30 Jul 2012 22:13:33 -0400 |
User-agent: |
Mutt/1.5.21 (2010-09-15) |
On Mon, Jul 30, 2012 at 09:30:06PM -0400, Ben Abbott wrote:
>
> On Jul 30, 2012, at 9:19 PM, Mike Miller wrote:
>
> > If everyone's happy, Jacob, can you revert f91e00f and apply this?
>
> Mike, do you mean ...
>
> hg revert -r 7c14e3e6fc6b
No, I was referring to the qterminal git repo by itself in this case.
That hg rev does correspond to the git rev I was referring to.
--
mike
- Re: GUI font and cursor location, (continued)
- Re: GUI font and cursor location, Doug Stewart, 2012/07/29
- Re: GUI font and cursor location, Mike Miller, 2012/07/29
- Message not available
- Message not available
- Re: GUI font and cursor location, Michael Goffioul, 2012/07/29
- Re: GUI font and cursor location, Doug Stewart, 2012/07/29
- Re: GUI font and cursor location, Mike Miller, 2012/07/29
- Re: GUI font and cursor location, Michael Goffioul, 2012/07/30
- Re: GUI font and cursor location, Mike Miller, 2012/07/30
- Re: GUI font and cursor location, Michael Goffioul, 2012/07/30
- Re: GUI font and cursor location, Mike Miller, 2012/07/30
- Re: GUI font and cursor location, Ben Abbott, 2012/07/30
- Re: GUI font and cursor location,
Mike Miller <=
- Re: GUI font and cursor location, Doug Stewart, 2012/07/30
- Re: GUI font and cursor location, Mike Miller, 2012/07/30
- Re: GUI font and cursor location, Michael Goffioul, 2012/07/31
- Re: GUI font and cursor location, Doug Stewart, 2012/07/29