This bug report is supposed to be about one issue only: the display artefacts left on screen when using the win32 version. Reading through the report, I don't think anyone has experienced this on Ubuntu, so I'm marking this as invalid. Other small screen display issues should be reported separately.
This bug report is supposed to be about one issue only: the display artefacts left on screen when using the win32 version. Reading through the report, I don't think anyone has experienced this on Ubuntu, so I'm marking this as invalid. Other small screen display issues should be reported separately.