remove_filter
Description:
Removes a filter from the DeviceMonitor using the id that was returned by add_filter.
Parameters:
| this |
a device monitor |
| filter_id |
the id of the filter |
Returns:
|
true of the filter id was valid, false otherwise |