Re: Problem with the command window of the GUI

[Daniel J Sebald]

On 11/06/2013 03:42 AM, Julien Bect wrote:
> On 05/11/2013 22:12, Ben Abbott wrote:
> > > I wasn't sure about those.
> > > >
> > > >I pushed the following change to savannah. Does anyone see a problem
> > > >with it?
> > > >
> > > > http://hg.savannah.gnu.org/hgweb/octave/rev/c17a3e43956b
> > > >
> > > >jwe
> > Looks good on MacOS X.
> >
> > Ben
>
> Also fine on Ubuntu 13.04 !

I built from scratch overnight.  Looks fine here too.  A fraction of a 
line is not shown when the top text extends beyond the window (it's just 
a bigger white space), but this is minor close to a release.

Dan