Closed rodolakis closed 1 year ago
This is still in a branch? We should make a pull request for that branch (and set the "PR" so that it automatically closes this issue once the PR is merged). Before merging, we'll review using GitHub's tools for that process.
You can close this, that branch is for for #13.
The ui for filter results has been update and added to the "ui_files" as the name "filter_window_version2.ui", Can I close this issue?