@b4n: ping. As @corvidism doesn't need this feature any more I leave it up to 
you if you like to merge it or not. I myself just wanted to close the issue. I 
usually don't start Geany from the command line so I personally do not require 
the change. But maybe it's useful for others. @elextr @codebrainz @kugel 
@eht16: what are your opinions?

Let's either merge this or reject the PR so that ticket #1512 can be closed.

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/pull/1811#issuecomment-418169637

Reply via email to