LogFilterUpdate typedef

LogFilterUpdate = LogFilter Function(LogFilter current)

Filter edit: builds a new filter from current, the filter in effect when the edit is applied (LogViewerController.updateFilter). A part of the screen that edits several conditions (the filter sheet: levels, tags, text) thus does not overwrite conditions someone else may have changed in the meantime.

Implementation

typedef LogFilterUpdate = LogFilter Function(LogFilter current);