Adapted default gui style to new naming of widgets.
authorDaniel Carl <danielcarl@gmx.de>
Thu, 16 Jun 2016 21:19:41 +0000 (23:19 +0200)
committerDaniel Carl <danielcarl@gmx.de>
Thu, 16 Jun 2016 21:19:41 +0000 (23:19 +0200)
commita9b302273d0d519c1b5a1dd6d1ff732ef08e7d83
tree6bb664825df53a88de3f2deb0e0d7f2c4e70ffbc
parent2d5a6a36d81a25798f50f6e03395d90c94b4fac2
Adapted default gui style to new naming of widgets.
src/config.def.h