Stefano Ceccherini <stefano.ceccherini at gmail.com> wrote: > What about the "Always show triggers" option ? What do we want to do > with it ? I don't know yet - it didn't work before, though, so it's no great loss :-) I don't think there is a need to make this settable, though. Bye, Axel.