Commit 6a3478c235154faefb40712f3536bbc9c28801d5

Stefanos Apostolopoulos 2013-10-20T17:23:43

Fix bug 1300 by querying current border size in ConfigureNotify, and adjusting window coordinates accordingly.