@b4n: There was a feature request in #1512. See end of the post for the user's reason for having this feature. This is one of the changes I did in a bunch of changes for just fixing/closing some issues some month ago.
So, I guess it could still be discussed if the feature request should be implemented/merged or rejected/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-410455695
