octave-maintainers
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: GUI font and cursor location

From: Ben Abbott
Subject: Re: GUI font and cursor location
Date: Mon, 30 Jul 2012 21:30:06 -0400 
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

Ben
reply via email to
[Prev in Thread] Current Thread [Next in Thread]