Bert Münnich d7ff54bb6e Optimized redraw timeout after window resize for tiling window managers; related to issue #44

2012-03-13 21:58:48 +01:00

1.3 KiB

Raw Blame History

View Raw