Correct some window width manipulation mistakes
commitb3503209007cadd87df166389e31cf03c1437544
authormalc <av1474@comtv.ru>
Mon, 1 Aug 2011 05:06:45 +0000 (1 09:06 +0400)
committermalc <av1474@comtv.ru>
Mon, 1 Aug 2011 05:06:45 +0000 (1 09:06 +0400)
tree661f29ba37fff1205c1babeb7c5a1d688dc78097
parent5f10b3251e967d8c6b61ec3cd077ff4b764c0686
Correct some window width manipulation mistakes
main.ml