GUI: improve error message for unaccessible/garbled history file
Authored by: Jean-Francois Dockes 2011-05-04
Parent(s): [da539f]
Child(ren): [fcc62b]