[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#61432: 28.2; [PATCH] viper-init: disable face support
From: |
Robert Pluim |
Subject: |
bug#61432: 28.2; [PATCH] viper-init: disable face support |
Date: |
Mon, 13 Feb 2023 18:02:01 +0100 |
>>>>> On Mon, 13 Feb 2023 15:02:52 +0000, andrés ramírez
>>>>> <rrandresf@hotmail.com> said:
INKA> +(defcustom viper-enable-minibuffer-faces t
INKA> + "Whether viper changes the minibuffer faces."
INKA> + :type 'boolean
INKA> + :group 'viper-misc)
INKA> +
INKA> +
And one thing I forgot: defcustomʼs normally require a :version field,
but I see that *none* of the defcustomʼs in viper have one, so maybe
we could skip that here.
Robert
--
- bug#61432: 28.2; [PATCH] viper-init: disable face support, (continued)
- bug#61432: 28.2; [PATCH] viper-init: disable face support, Eli Zaretskii, 2023/02/11
- bug#61432: 28.2; [PATCH] viper-init: disable face support, andrés ramírez, 2023/02/11
- bug#61432: 28.2; [PATCH] viper-init: disable face support, Eli Zaretskii, 2023/02/11
- bug#61432: 28.2; [PATCH] viper-init: disable face support, andrés ramírez, 2023/02/11
- bug#61432: 28.2; [PATCH] viper-init: disable face support, Eli Zaretskii, 2023/02/11
- bug#61432: 28.2; [PATCH] viper-init: disable face support, andrés ramírez, 2023/02/12
- bug#61432: 28.2; [PATCH] viper-init: disable face support, Eli Zaretskii, 2023/02/12
- bug#61432: 28.2; [PATCH] viper-init: disable face support, andrés ramírez, 2023/02/12
- bug#61432: 28.2; [PATCH] viper-init: disable face support, Robert Pluim, 2023/02/13
- bug#61432: 28.2; [PATCH] viper-init: disable face support, andrés ramírez, 2023/02/13
- bug#61432: 28.2; [PATCH] viper-init: disable face support,
Robert Pluim <=
- bug#61432: 28.2; [PATCH] viper-init: disable face support, Eli Zaretskii, 2023/02/18
- bug#61432: 28.2; [PATCH] viper-init: disable face support, Eli Zaretskii, 2023/02/18
- Message not available
- bug#61432: 28.2; [PATCH] viper-init: disable face support, Robert Pluim, 2023/02/23
- bug#61432: 28.2; [PATCH] viper-init: disable face support, andrés ramírez, 2023/02/23