[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Problems using latest build
From: |
Torsten Lilge |
Subject: |
Re: Problems using latest build |
Date: |
Wed, 08 May 2019 19:24:47 +0200 |
On Wed, 2019-05-08 at 07:50 +0100, José Abílio Matos wrote:
> On Wednesday, 8 May 2019 07.41.36 WEST Kai Torben Ohlhus wrote:
> > Thank you for the detailed explanation. If you now have the binary
> > choice
> > between saving in less than two minutes or reading text in the
> > command
> > line, I suggest to open a bug report about this [1]. To me it seems,
> > that
> > the current situation makes Octave unusable for you and maybe others
> > using
> > the same system.
> >
> > Best,
> > Kai
> >
> > [1] https://savannah.gnu.org/bugs/?func=additem&group=octave
>
> Sure.
>
> Where are the gui preferences saved?
>
> Best regards,
José, when using the default-branch, the prefs are stored in
~/.config/octave/octave-gui.ini
When you select another font in the prefs, is this font then used in the
terminal ans does the dialog still show CCIcons as the chosen font next
time you open the dialog?
Best,
Torsten
- Problems using latest build, José Abílio Matos, 2019/05/04
- Re: Problems using latest build, Dmitri A. Sergatskov, 2019/05/04
- Re: Problems using latest build, Kai Torben Ohlhus, 2019/05/05
- Re: Problems using latest build, José Abílio Matos, 2019/05/05
- Re: Problems using latest build, Kai Torben Ohlhus, 2019/05/07
- Re: Problems using latest build, José Abílio Matos, 2019/05/08
- Re: Problems using latest build, Kai Torben Ohlhus, 2019/05/08
- Re: Problems using latest build, José Abílio Matos, 2019/05/08
- Re: Problems using latest build,
Torsten Lilge <=