added styling on theme selector

This commit is contained in:
2023-05-09 23:28:45 +02:00
parent 77a853e980
commit 4350ab9bd9
4 changed files with 32 additions and 6 deletions

View File

@@ -27,9 +27,13 @@ let adBlock: HTMLInputElement,
function getThemeFiles() {
const selectElement = document.getElementById("themesList") as HTMLSelectElement;
const fileNames = fs.readdirSync(process.resourcesPath).filter((file) => file.endsWith(".css"));
const fileNames = fs
.readdirSync(process.resourcesPath)
.filter((file) => file.endsWith(".css"))
.sort((a, b) => a.toLowerCase().localeCompare(b.toLowerCase()));
const options = fileNames.map((name) => {
return new Option(name, name);
return new Option(name.replace(".css", ""), name);
});
// empty old options