Closed mipastgt closed 4 years ago
Your proposed changes are fine for me. It would be nice if you could do the necessary changes. I am a bit busy at the moment with something else but I'd like to see this PR (with your changes) integrated.
Yet another feature of GitHub I wasn't aware of: As i couldn't push on your PR, i pushed the changes to a new branch and merged that. Thus, I was going to notify you that i cannot actually merge your PR but badabooom: Github already showed it as merged!
The deeper layers of Git/GitHub will always remain a mystery to me :-)
This fixes https://github.com/codecentric/NSMenuFX/issues/31