Fix widthtype config option handling, and new API panel_is_dynamic().
authorAndriy Grytsenko <andrej@rep.kiev.ua>
Thu, 14 Aug 2014 22:10:46 +0000 (01:10 +0300)
committerAndriy Grytsenko <andrej@rep.kiev.ua>
Sat, 16 Aug 2014 16:23:40 +0000 (19:23 +0300)
commit072944bf6fa93dd5a4ddc56e7a6c2bf8130c4f58
tree31b855ec5b576bb1a4c2004bd60290c07944738d
parent756c623e528d3bc03dbe2c81db1354c1a8fcc950
Fix widthtype config option handling, and new API panel_is_dynamic().
src/configurator.c
src/panel.c
src/panel.h