Yuxuan Shui f83eb79c05
Add wintype option redir-ignore.
This cause certain window types to be ignored in deciding whether the
screen should be redirected after being unredirected.

Fixes #58

Signed-off-by: Yuxuan Shui <yshuiv7@gmail.com>
2018-12-04 16:36:49 +00:00
..
2013-06-19 19:36:48 +08:00
2018-10-29 11:55:10 +00:00