Christian Duerr 5174f9b274 Fix duplicate resize events ... If a resize event is identical to the current size, it is no longer propagated but the resize is discarded immediately. To further prevent resizes when not necessary, the list of monitors is enumerated and the DPR of the first display is assumed to be the target DPR. This allows spawning a window with dimensions when the config has columns and lines specified and the window only needs to be resized if the estimated DPR is not correct. Fixes #1825. Fixes #204.		2019-04-14 15:37:58 +00:00
..
src	Fix duplicate resize events	2019-04-14 15:37:58 +00:00
Cargo.toml	Set maximum Rust version to 1.31.0	2019-04-09 19:29:46 +00:00