diff versions.json @ 22:f7e0926c2500

Don't restore state on a file that's already open in another pane.
author Ludovic Chabant <ludovic@chabant.com>
date Fri, 18 Mar 2022 19:25:48 -0700
parents 131ae934ea07
children 6c168de105c0
line wrap: on
line diff