A little optimization for get_widget_index() in configurator.
authorAndriy Grytsenko <andrej@rep.kiev.ua>
Wed, 20 Aug 2014 12:17:57 +0000 (15:17 +0300)
committerAndriy Grytsenko <andrej@rep.kiev.ua>
Wed, 20 Aug 2014 12:17:57 +0000 (15:17 +0300)
commitf9c95a3db3e566f6ce9e842709a5e83e184c2468
tree360a7ab0bd7d9390388a495f36ef4e81ef2eee92
parentd2f438c6eb13f1d96d39cda4335e84fe326b092a
A little optimization for get_widget_index() in configurator.
src/configurator.c