OK, it seems a duplicate of some bug reports. I found a least two: bug#2525 "NS crash: font selector" and bug#2626 "color-theme crash".