Skip to content

MainWindow: make filter into a menu#180

Merged
davidmhewitt merged 6 commits intomainfrom filter-menuFeb 3, 2023