search

fsprojects / fantomas-tools

Collection of tools used when developing for Fantomas
https://fsprojects.github.io/fantomas-tools/
MIT License
34 stars 8 forks source link

[Proposition] Allow user to reset setting to default values #630

Closed MangelMaxime closed 8 months ago

MangelMaxime commented 8 months ago

When reporting issues I always have a hard top finding the correct configuration because I never know which settings changed or not.

Adding this button allows the user to restore the default settings of Fantomas to start from a blank page

dawedawe commented 8 months ago

Love it. Thanks a lot! How about putting the button on top of the settings? That would be a nicer UX from my view.

MangelMaxime commented 8 months ago

I agree that having it at the top of the setting would be better.

But I am struggling with finding a place that feels nice for it.

Right now the one that feels the least out of place is this one:

CleanShot 2023-12-18 at 09 47 32@2x

dawedawe commented 8 months ago

That would be fine for me :)