Symex typically maintains scroll margins so that moving the cursor near the bottom or top of the buffer causes the buffer to scroll to preserve sufficient visibility of the selected expression. It looks like these margins are not preserved after using the . (dot / repeat) operator.
For comparison, using u and C-r preserve them, so maybe there is a missing step like adding advice or something like that. Typically I believe the margins are set upon entering Symex evil state and restored to the original upon leaving the state, so it's also possible that dot triggers a change of state somehow.
Symex typically maintains scroll margins so that moving the cursor near the bottom or top of the buffer causes the buffer to scroll to preserve sufficient visibility of the selected expression. It looks like these margins are not preserved after using the
.
(dot / repeat) operator.For comparison, using
u
andC-r
preserve them, so maybe there is a missing step like adding advice or something like that. Typically I believe the margins are set upon entering Symex evil state and restored to the original upon leaving the state, so it's also possible that dot triggers a change of state somehow.