Re: Problems using latest build

[Torsten Lilge]

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