[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#44331: 28.0.50; Customize won't save a face setting, if not set firs
From: |
Mauro Aranda |
Subject: |
bug#44331: 28.0.50; Customize won't save a face setting, if not set first |
Date: |
Fri, 30 Oct 2020 13:23:06 -0300 |
tags 44331 patch
quit
Looks like this was introduced in the fix for Bug#40866. When only
customizing for the selected terminal, now we recreate the custom-face
widget for all kind of displays, but lose the user editions in the
process of doing that.
The attached patch fixes it, because it records the edited value in
the :shown-value property, which a custom widget prioritizes over
everything else, when finding out the value of the face.
0001-Fix-saving-a-face-setting-with-Customize.patch
Description: Text Data