annotate styles.css @ 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 18ff216ce0c4
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
20
18ff216ce0c4 Make stylesheet not empty to prevent error file being installed
Ludovic Chabant <ludovic@chabant.com>
parents: 0
diff changeset
1 /* No styles */