Re: [basex-talk] Feature Request: Save untitled, open scripts when exiting GUI

Am 30.07.2018 um 20:23 schrieb Christian Grün:

I’ve created a GitHub issue for your request [1].

Thank you.

On the issue tracker, it was advised, to first post such things to the mailing-list. Did I do it right, or should I have opened the issue myself, since it is a smaller request? And if so, should I have contributed the issue to the mailing-list then?

I ask, because I think, that you got a lot of things to do, and opening a smaller issue may cost you, unnecessarily spent, time.