Import, duplicate and delete themes

[austincondiff]

Description

Improves theme settings UI. Adds the ability to import, duplicate, and delete themes. Persisting changes to theme file.

Related Issues

• ✨ Support Bold and Italic Theme Tokens #1717

Checklist

• Improved theme settings UI
• Improved theme details UI
• Import theme
• Duplicate theme
• Delete theme
• Edit and Delete are disabled for bundled themes
• Persist changes to theme file
• Iterator appended to theme name when there is a naming conflict upon rename, duplicate, and import
• Preserve property order in cetheme file on save
• Hide duplicate button when importing or duplicating
• When importing or duplicating, Cancel button deletes theme
• When file is modified externally, reload themes to reflect changes (will do later)
• Theme import file validation (will do later)

---

• I read and understood the contributing guide as well as the code of conduct
• The issues this PR addresses are related to each other
• My changes generate no new warnings
• My code builds and runs on my machine
• My changes are all related to the related issue above
• I documented my code

Screenshots

Screen.Recording.2024-06-18.at.2.22.08.PM.mp4

[xyzqm]

Will this do essentially what CodeEditApp/CodeEditSourceEditor#245 was trying to? If yes, I'll close my PR then 😅

[austincondiff]

@danielzsh Not really but we will probably need to adjust font weights in CESE in order for this to work, so we can address it all then. We really appreciate the effort, but go ahead and close it for now.

[thecoolwinter]

Looks perfect to me! Awesome work

[thecoolwinter]

Sorry, misclicked my approval. It still looks perfect, just one small thing.

[thecoolwinter]

Small formatting thing and a suggestion

[thecoolwinter]

I did also notice there's some serious delay when updating the theme. I tracked this back to the fact that the themes are being saved every time a color is updated. We should throttle the saving action in the future, I'll make an issue for it.

[thecoolwinter]

Updated so the theme is updated in real time as it's edited (if it's the currently selected one) and the selected theme appearance defaults to the app's current color when opening the themes tab (eg if on light mode it shows the light mode ones first).

Screen.Recording.2024-06-26.at.10.03.26.AM.mov