-
Christian Schulte zu Berge authored
Closes #387: LogViewerWidget now has a checkbox to select the minimum log level to display. Filtering is performed in widget. Checkboxes to enable/disable each log level, however, seemed to be overkill. If one really wants such specific filtering, he/she can use the filter text box.
da038689