Antonio Scandurra d89465c451 Merge pull request #1356 from zed-industries/differentiate-same-tab-titles ... Differentiate among tabs with the same name		2022-07-15 08:30:22 +02:00
..
styleTree	Merge pull request #1356 from zed-industries/differentiate-same-tab-titles	2022-07-15 08:30:22 +02:00
themes	Update rose pine theme	2022-07-13 14:16:32 -04:00
utils	working jump to definition with tests	2022-06-24 15:09:31 -07:00
buildThemes.ts	Delete theme files more selectively when regenerating them	2022-05-18 14:17:26 -07:00
common.ts	working jump to definition with tests	2022-06-24 15:09:31 -07:00
themes.ts	Clean up themes	2022-05-18 11:41:56 -04:00