Why Ctrl-Minus? Shouldn't it be <CTRL-R>-?
—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.![]()
Args, I starred at it for a while and I missed the obvious, .... Sorry about that
—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.![]()