Should I open this as a new issue, as a request?
No, don't split the discussion, as I said [here](https://github.com/geany/geany/issues/1757#issuecomment-619456223) this issue is still open as the solutions so far have been more in the form of workarounds than complete solutions.