Removed the API 10 GUI fix: it wasn't a good fix. This issue will be
fixed after the GUI has been rewritten (if still necessary).