On 6/5/19 7:21 PM, Joel VanderWerf wrote:


One more observation: when I type in the left pane, the right pane updates correctly (presuming it is scrolled to the same region).

Yes, same here.

Paul

Reply via email to