Describe the feature / enhancement.
Add preference options to modify certain aspects of the editor.
These settings may change/modify:
- The editor theme
- Reading or writing font
- Graphnode snapping
- Interface scaling
I think this feature is not urgent to implement but could be a good QoL feature.
Is this a feature for a project you're working on?
No response
Describe how your proposal will work, with code, pseudo-code, mock-ups, and/or diagrams
Le panneau des préférences peut être intégré dans une nouvelle fenêtre et peut utiliser les MonologueFields.
Describe the feature / enhancement.
Add preference options to modify certain aspects of the editor.
These settings may change/modify:
I think this feature is not urgent to implement but could be a good QoL feature.
Is this a feature for a project you're working on?
No response
Describe how your proposal will work, with code, pseudo-code, mock-ups, and/or diagrams
Le panneau des préférences peut être intégré dans une nouvelle fenêtre et peut utiliser les MonologueFields.