diff manifest.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 a50ef39473b6
children 6c168de105c0
line wrap: on
line diff