Next: Point Placement on Entry, Previous: Branch Memory, Up: Customizing Symex [Contents][Index]
The current expression is highlighted by default using an overlay. If you’d like to disable highlighting, add this to the :custom section (not the :config section) of your use-package form:
:custom
:config
use-package
(symex-highlight-p nil)