Skip to content

Basic project settings #12

Open
Open
Basic project settings#12
Labels
Enhancement🚀New feature or requestIDE🖥️This is related to the IDE

Description

@ollisco
ollisco
opened on Mar 15, 2022

You should be able to change basic settings in the IDE

Changeable settings could include

  • Keybindings
  • Appearance
  • Auto save toggle

Note: This issue has a lower priority than other issues

Metadata

Metadata

Assignees

No one assigned

    Labels

    Enhancement🚀New feature or requestIDE🖥️This is related to the IDE

    Type

    No type

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions