[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

GUI style

From: Torsten
Subject: GUI style
Date: Thu, 6 Dec 2018 07:02:32 +0100

I am currently preparing a changeset which allows to select different
styles for the gui. However, since changeset
http://hg.savannah.gnu.org/hgweb/octave/rev/95aff68c443d by JohnD, the
style is always set to "windows" on window systems. This style is quite
old-fashioned (see also
What was the specific reason for selecting the "windows" style. If this
style is really required, I would have to disable the style selection on
window systems.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]