[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: GUI style
|
From: |
Torsten |
|
Subject: |
Re: GUI style |
|
Date: |
Sat, 8 Dec 2018 08:52:15 +0100 |
On 06.12.18 23:42, mmuetzel wrote:
> 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
>
Thanks for clarification. Then, further discussion should go into bug
#53174.
Torsten