-
Bug
-
Resolution: Incomplete
-
None
-
Minecraft 13w41b
-
Unconfirmed
-
Survival
Playing Minecraft in fullscreen mode using Xmonad as a WM and xrandr to handle X11 results in the DPI setting getting changed without being reverted after closing minecraft. Nothing in stdout suggests an error.