Abdelrazak Younes wrote: > Are you sure GDB won't directly gives the enum value? I think it did > last time I used that many years ago... Do you use it at the shell or > within some visual frontend?
I don't think of gdb, but of debugging using LyX's -dbg output. Usually, the numbers are output there and are helpful especially to debug dispatch procedures (also in user's reports). Jürgen
