✨ Extensions Settings #375

Activity

1. austincondiff

   added

   enhancementNew feature or requestNew feature or request

   UIThis is UI relatedThis is UI related

   settings

   on Apr 1, 2022
2. stale

   added

   wontfixThis will not be worked onThis will not be worked on

   and removed

   wontfixThis will not be worked onThis will not be worked on

   on May 31, 2022
3. stale

   added

   wontfixThis will not be worked onThis will not be worked on

   on Jul 31, 2022
4. CodeEditApp

   deleted a comment from stale on Jul 31, 2022
5. stale

   removed

   wontfixThis will not be worked onThis will not be worked on

   on Jul 31, 2022
6. austincondiff

   added this to CodeEdit Projecton Oct 4, 2022
7. austincondiff

   moved this to Todo in CodeEdit Projecton Oct 5, 2022
8. austincondiff

   changed the title [-]✨ Extensions Preferences[/-] [+]✨ Extensions Settings Page[/+] on Apr 3, 2023
9. CodeEditApp

   deleted a comment from stale on Apr 3, 2023
10. jhoogstraat commented on Apr 3, 2023

    

    jhoogstraat

    on Apr 3, 2023

    More actions

    Thanks for the heads up!
    If this is still unassigned, I can work on it.
11. austincondiff commented on Apr 4, 2023

    

    austincondiff

    on Apr 4, 2023

    Last edited by austincondiff

    CollaboratorAuthor

    More actions

    @jhoogstraat Fantastic, Settings is not yet in the main branch yet. Feel free to work off of refactor/settings if you would like. Settings are accessed via ⌘ ⌥ , for now until it is finished. You can access Preferences which will be replaced by Settings with ⌘ , until this branch is merged.

    Edit: Now that I think about it, we may not be 100% ready for this. Feel free to discuss in this #extensions channel in Discord or in GitHub discussions.
12. matthijseikelenboom

    moved this from 📋 Todo to 🚧 Blocked in CodeEdit Projecton Apr 4, 2023
13. matthijseikelenboom commented on Apr 4, 2023

    

    matthijseikelenboom

    on Apr 4, 2023

    Contributor

    More actions

    Yeah no, we are not ready for this.

    @jhoogstraat If you want to work on other issue, take a look at the project board, current iteration.
14. austincondiff

    changed the title [-]✨ Extensions Settings Page[/-] [+]✨ Extensions Settings[/+] on Apr 27, 2023