branch: externals/poke
commit 9c007473884bd0c99a9bd5ffd9df63ea236d796f
Author: Jose E. Marchesi <[email protected]>
Commit: Jose E. Marchesi <[email protected]>
poke.el: face for highlighting
---
poke.el | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/poke.el b/poke.el
index ed6cfcb3f3..440649627d 100644
--- a/poke.el
+++ b/poke.el
@@ -94,6 +94,8 @@
"Face for warning messages.")
(defface poke-vu-selected-byte-face '((t :background "yellow"))
"Face for selected byte in poke-vu buffers.")
+(defface poke-vu-highlighted-byte-face '((t :background "green"))
+ "Face for highlighted byte in poke-vu buffers.")
(defface poke-edit-header-face '((t :bold t))
"Face for editor headers.")
@@ -582,6 +584,10 @@ return nil."
(forward-char column)
(point))))))
+(defun poke-vu-remove-highlight ()
+ (remove-overlays (point-min) (point-max)
+ 'face 'poke-vu-highlighted-byte-face))
+
(defun poke-vu-goto-byte (offset)
"Move the pointer to the beginning of the byte at OFFSET
relative to the beginning of the shown IO space."
