|
From: | Clément Pit-Claudel |
Subject: | bug#41200: Displaying a tooltip with x-show-tip gets very slow as more faces are defined |
Date: | Sun, 17 May 2020 21:19:50 -0400 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.7.0 |
On 17/05/2020 17.59, Juri Linkov wrote: >> + :group 'basic-faces) >> + >> + :group 'basic-faces) >> >> - :group 'tab-bar-faces) >> - >> - :group 'tab-line-faces) > > Could these faces belong to both groups? > > :group 'basic-faces > :group 'tab-bar-faces Yup, but that won't work well if the face is customized before the group is defined, right? Maybe the trick would be to add the group to the face when tab-bar.el and tab-bar-line.el are loaded?
[Prev in Thread] | Current Thread | [Next in Thread] |