branch: externals/pulsar
commit 1d0a54ebb3974d50dcf35324f4d6c8a3a972186d
Author: Protesilaos Stavrou <[email protected]>
Commit: Protesilaos Stavrou <[email protected]>
Deprecate pulsar-region-face as an alias for pulsar-face
They are used for the same purposes.
---
pulsar.el | 9 ++++-----
1 file changed, 4 insertions(+), 5 deletions(-)
diff --git a/pulsar.el b/pulsar.el
index 3915bbf703..e9eaccbf6a 100644
--- a/pulsar.el
+++ b/pulsar.el
@@ -241,11 +241,10 @@ and `pulsar-highlight-permanently'."
:package-version '(pulsar . "1.3.0")
:group 'pulsar)
-(defcustom pulsar-region-face pulsar-face
- "Face to pulse a region that has not changed."
- :type pulsar--face-with-default-and-choice-widget
- :package-version '(pulsar . "1.2.0")
- :group 'pulsar)
+(define-obsolete-face-alias
+ 'pulsar-region-face
+ 'pulsar-face
+ "1.3.0")
(defcustom pulsar-region-change-face pulsar-face
"Face to pulse a region that has changed (added or removed)."
