I see you applied the patches. Well if it's final, I'm quite happy with both ToolButton and ButtonOption. Future additions only on a by need basis. Still need to investigate that tab key behavior, but I'll ignore it for now.
cbpporter Issue #004: ButtonOption is useless
Fixed
Well, I have also used it as excuse to develop patching for theide, and then I could check the result with full files too