Skip to content
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

Marked are now at top; simplified code; fixed margin #188

Merged
merged 2 commits into from
May 8, 2023

Conversation

tig
Copy link
Collaborator

@tig tig commented May 5, 2023

PR Summary

In #174, my fix didn't put the marked items at the top of the filtered list. @MrFly22 duly noted this.

The fix needed me to iterate of the input list twice (I could have added complexity to make this more efficient but decided until someone complains about perf...). There's now two simple Linq statements that do the trick

I noticed a related bug in my testing. When the filter has an invalid regex, we were just setting the ListView to the source list. In addition, the logic around what an empty filter string means was confused. I fixed these issues.

Finally, the extra space at the end of the filter edit and the wasteful margins around the listview have been driving me nuts.

PR Context

Copy link
Member

@andyleejordan andyleejordan left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Good work!

@andyleejordan
Copy link
Member

@tig after merging this, should I get a release out?

@andyleejordan andyleejordan merged commit 28fd7b7 into PowerShell:master May 8, 2023
@tig
Copy link
Collaborator Author

tig commented May 8, 2023

Yes, I think this is all ready and I have nothing else I'm planning on fixing in the short term.

Next on my list is #127

Not sure when I'll get to it though.

@andyleejordan
Copy link
Member

I'll get on it! Thanks so much @tig.

@MrFly72
Copy link

MrFly72 commented May 9, 2023

The fix looks great! First tests did not show any problem so far.
I am using it "productive" at the moment on my Raspberry Pi (Linux Debian).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants