BF: gui choice boxes now handle unicode (thanks Anne Peschel)