Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Menu- and icon-specific button configurations #2
your changes are merged! New version number is 1.4.0.
Thanks a lot for contributing!
Did a little clean up before the merge. Updating version number, minor
Also I hope, you're okay with being mentioned in AUTHORS and PieDock -h.
On Sat, 23 Jul 2011 19:11:32 +0200, jgehring
Thanks for merging! I'm fine with being mentioned in the AUTHORS file, of course :)
You're right about the context flag. On a first attempt, I used it to store the last token inside the parsing loop, and didn't think about using an enumeration later.