shithub: vexed

Download patch

ref: 80d7c73e627dc86dc682ef4202e56d2698c92499
parent: e09bbe69e19e5ae1eaf3de941cf4223d67dd874c
author: phil9 <telephil9@gmail.com>
date: Thu Dec 30 08:00:45 EST 2021

fix position indicator not refreshing

	this was forgotten when the code was changed to avoid full
	redraws when possible