void256/nifty-gui — pull request #47 by mkaring (2012-09-11 10:08:58+00:00)
Title: Fixed tab-control bug

Fixed conflicting ID problem in case multiple tab groups are active at the same time