... is missing. It's getting difficult to find sensible icons in the KDE set. However, I'm gonna put in the attached, which is sort-of-sensible, just that we have one. It can be replaced if someone comes up with a better one.
Jürgen
nomencl-insert.xpm
Description: X pixmap
