vcmi/vcmi — pull request #68 by ArseniyShestakov (2014-12-24 00:30:17+00:00)
Title: Number of small GUI fixes

Following old issues fixed:
http://bugs.vcmi.eu/view.php?id=1396
http://bugs.vcmi.eu/view.php?id=1952
Also number of things I'm find recently:
http://bugs.vcmi.eu/view.php?id=1994
http://bugs.vcmi.eu/view.php?id=1996
http://bugs.vcmi.eu/view.php?id=1998

There is also tiny change of selection box size for resources on market related to that old task:
http://bugs.vcmi.eu/view.php?id=562
It's not fixes problem entirely, but just make those selection boxes look better in most cases.