[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#19999: 24.4; Selecting Mutiple Custom Themes
From: |
Eli Zaretskii |
Subject: |
bug#19999: 24.4; Selecting Mutiple Custom Themes |
Date: |
Sat, 11 Jan 2020 10:33:47 +0200 |
> From: Mauro Aranda <maurooaranda@gmail.com>
> Date: Tue, 7 Jan 2020 18:43:10 -0300
> Cc: 19999@debbugs.gnu.org, ded-law@ddoherty.net
>
> Eli Zaretskii <eliz@gnu.org> writes:
>
> >> From: Mauro Aranda <maurooaranda@gmail.com>
> >> Date: Mon, 6 Jan 2020 11:55:16 -0300
> >> Cc: ded-law@ddoherty.net
> >>
> >> One possible fix is to make the updating of custom-enabled-themes in
> >> enable-theme side-effect free, as the attached patch does.
> >
> > Fine with me, thanks.
>
> Great. I'll wait for someone to push it.
Pushed to the release branch, thanks.