-
Notifications
You must be signed in to change notification settings - Fork 439
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Filtering documents #1142
base: dev
Are you sure you want to change the base?
Filtering documents #1142
Conversation
6b0e4c5
to
ff347fe
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks for your PR! I have a few comments. Please have a look at them.
ff347fe
to
a2faee7
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Approving this PR.
The last commit implements the deletion of the filter linedit when we switch to the document mode, in order to reduce the risk explained here:
For information, it is tested on Linux Ubuntu 22.04 with Qt5 and Qt 6.7 with success. |
Implements this feature request: #1141
Add a
lineedit
to filter the documents list.