make text in about box selectable (fixes #1055)