dwm.png
author a@null
Sun, 08 Feb 2009 09:46:23 +0000
changeset 1381 8b7836a471f8
parent 110 268797d63de8
permissions -rw-r--r--
avoid reverting the border if it's not necessary (avoids some flashing on view())

(binary:image/png)