Fix box size in error in vector theme.
commit02936771b86b8e678b25284955fe50069f2519b8
authorJonathan Moore Liles <j.liles@unix.net>
Mon, 16 Sep 2013 06:45:15 +0000 (15 23:45 -0700)
committerJonathan Moore Liles <j.liles@unix.net>
Mon, 16 Sep 2013 06:45:34 +0000 (15 23:45 -0700)
tree41f179d478acabbdd3bae7a3f95be00dc3696eb3
parentd7f94164bc2d44b7ddf39e19e90a1fc172e62c7d
Fix box size in error in vector theme.
src/Vector_Theme.cxx