|
| From: | mmuetzel |
| Subject: | Re: GUI style |
| Date: | Thu, 6 Dec 2018 16:42:59 -0600 (CST) |
This was done for bug #49247. https://savannah.gnu.org/bugs/?49247 There is already bug #53174 that is about changing the default style: https://savannah.gnu.org/bugs/index.php?53174 I don't know whether anything has changes w.r.t. this in the meantime. Markus -- Sent from: http://octave.1599824.n4.nabble.com/Octave-Maintainers-f1638794.html
| [Prev in Thread] | Current Thread | [Next in Thread] |