Sébastien Helleu 3b32d62fa6 trigger: add filter in trigger monitor buffer ...

The filter can be set with /trigger monitor <filter> or by entering data
in the trigger monitor input.

2014-04-01 14:26:02 +02:00

..

plugin_api

trigger: add filter in trigger monitor buffer

2014-04-01 14:26:02 +02:00

user

trigger: add filter in trigger monitor buffer

2014-04-01 14:26:02 +02:00