This patch adds an option to rio, which disables automatic resizing
of windows if the geometry of the underlying screen changes.