Skip to content

✨ Setting for editor font size #98

Closed

Description

@austincondiff

We need to be able to set the font size for the editor. There should be a setting in the preferences window and Cmd + and Cmd - should do this when the editor is in focus.

Activity

  1. changed the title [-]Setting for editor font size[/-] [+][FEAT] - Setting for editor font size[/+] on Mar 21, 2022
  2. prodskimaya commented on Mar 21, 2022

    @prodskimaya

    Sounds great, I will try and work on this.

  3. changed the title [-][FEAT] - Setting for editor font size[/-] [+]✨ Setting for editor font size[/+] on Mar 31, 2022
  4. removed their assignment
    on Apr 3, 2022
  5. lovetodream commented on Apr 13, 2022

    @lovetodream

    @Shakenbeet are you still working on this? Otherwise I can give it a try

  6. lukepistrol commented on Apr 13, 2022

    @lukepistrol
    Member

    The setting itself is already available but implementation is still missing @lovetodream

  7. prodskimaya commented on Apr 13, 2022

    @prodskimaya

    @lovetodream I am no longer able to work on this

  8. lovetodream commented on Apr 14, 2022

    @lovetodream

    @lukepistrol alright I'll give it a try

  9. moved this from 🆕 New to 🏁 Complete in CodeEdit Projecton Feb 14, 2023
  10. added a commit that references this issue on Sep 7, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions