mirror of
https://github.com/swift-project/pilotclient.git
synced 2026-04-07 02:35:33 +08:00
Improved status message filtering
* avoid re-init of widget if already initialized * allow icons instead of text for severity radio buttons * changing severity filter directly triggers new filtering * use icon for new button * init this->showFilterBar() as default (otherwise not functional) * widths for filter bar buttons
This commit is contained in:
committed by
Mathew Sutcliffe
parent
3575eed37b
commit
6825524025
@@ -75,6 +75,9 @@ namespace BlackGui
|
||||
//! Show a filter bar
|
||||
void showFilterBar();
|
||||
|
||||
//! Set fi
|
||||
void filterUseRadioButtonDescriptiveIcons(bool oneLetterText);
|
||||
|
||||
//! Clear
|
||||
void clear();
|
||||
|
||||
|
||||
Reference in New Issue
Block a user