diff styles.css @ 8:ec6c48a07b03

Make the plugin data into a dictionary - Allows for faster lookup of the current file - Fix sorting bug with trimming excess file data
author Ludovic Chabant <ludovic@chabant.com>
date Mon, 14 Feb 2022 13:01:23 -0800
parents 7975d7c73f8a
children 18ff216ce0c4
line wrap: on
line diff