Can you not change that in your user settings?
santos
joined 1 year ago
I think B is a good idea but I wonder how it would work. Maybe open an issue on github.
If you already have it, then try it out and let us know :)
Can you not change that in your user settings?
I think B is a good idea but I wonder how it would work. Maybe open an issue on github.
If you already have it, then try it out and let us know :)
That is fair enough. I'd open a Github issue for the devs to take a look at it.