annotate versions.json @ 40:96e86650043b

Fix issues with files opened in multiple panes. The previous code was problematic since it opened files at the top for no obvious reason. Now we always restore any saved state if we have it, and if not we restore the current state from another pane if we find the same file is already open.
author Ludovic Chabant <ludovic@chabant.com>
date Wed, 20 Sep 2023 17:18:47 -0700
parents a371a2001e95
children 712761e7625b
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
25
6c168de105c0 Bump versions to 1.0.5, remove git stuff in script
Ludovic Chabant <ludovic@chabant.com>
parents: 18
diff changeset
1 {
6c168de105c0 Bump versions to 1.0.5, remove git stuff in script
Ludovic Chabant <ludovic@chabant.com>
parents: 18
diff changeset
2 "1.0.0": "0.13.17",
6c168de105c0 Bump versions to 1.0.5, remove git stuff in script
Ludovic Chabant <ludovic@chabant.com>
parents: 18
diff changeset
3 "1.0.1": "0.13.17",
6c168de105c0 Bump versions to 1.0.5, remove git stuff in script
Ludovic Chabant <ludovic@chabant.com>
parents: 18
diff changeset
4 "1.0.2": "0.13.17",
6c168de105c0 Bump versions to 1.0.5, remove git stuff in script
Ludovic Chabant <ludovic@chabant.com>
parents: 18
diff changeset
5 "1.0.3": "0.13.17",
6c168de105c0 Bump versions to 1.0.5, remove git stuff in script
Ludovic Chabant <ludovic@chabant.com>
parents: 18
diff changeset
6 "1.0.4": "0.13.17",
30
88c1c125e621 Bump versions to 1.0.6
Ludovic Chabant <ludovic@chabant.com>
parents: 25
diff changeset
7 "1.0.5": "0.13.17",
38
a371a2001e95 Bump versions to 1.0.7
Ludovic Chabant <ludovic@chabant.com>
parents: 30
diff changeset
8 "1.0.6": "0.15.0",
a371a2001e95 Bump versions to 1.0.7
Ludovic Chabant <ludovic@chabant.com>
parents: 30
diff changeset
9 "1.0.7": "1.4.0"
a371a2001e95 Bump versions to 1.0.7
Ludovic Chabant <ludovic@chabant.com>
parents: 30
diff changeset
10 }