Ubuntu
nedit package

  1. Bug #1415309
  2. Comment #13

Comment 13 for bug 1415309

Revision history for this message
Mazen (mezen) wrote :

For me this segfaults:

$ nedit -xrm '*textFontList: -*-dina-medium-r-*-*-16-*-*-*-*-*-*-*'
Erreur de segmentation (core dumped)

but this doesnt:
$ nedit -xrm '*font: -*-dina-medium-r-*-*-16-*-*-*-*-*-*-*'