width height Filter

If you are experiencing problems with "Everything", post here for assistance.
Post Reply
sk2107
Posts: 331
Joined: Sun Aug 07, 2022 8:48 pm

width height Filter

Post by sk2107 »

Hello,

I tried to have a simple filter for images that width is less than 100 and height is less than 100 but it did not work well (I got images that have more than 100 in height).

I used this filter
width:<100 height:<100 P_AMMasterFaderBackground_reversed_16.png

I could not figure out what is the problem.

I will attach a sample of he results.

Best regards

Everything64_Cupe6g7uTj.jpg
Everything64_Cupe6g7uTj.jpg (80.87 KiB) Viewed 2575 times
sk2107
Posts: 331
Joined: Sun Aug 07, 2022 8:48 pm

Re: width height Filter

Post by sk2107 »

Now I tried
width:<100 height:<=100
and it worked fine, but still can't find out why.


Best regards
void
Developer
Posts: 17152
Joined: Fri Oct 16, 2009 11:31 pm

Re: width height Filter

Post by void »

Thank you for the issue report sk2107,

Everything is incorrectly optimizing away "duplicated" search terms.
(even though these two terms differ, Everything thinks width: and height: are the same term)

This issue will be fixed in the next alpha update.
sk2107
Posts: 331
Joined: Sun Aug 07, 2022 8:48 pm

Re: width height Filter

Post by sk2107 »

Thanks a lot.

Best regards
void
Developer
Posts: 17152
Joined: Fri Oct 16, 2009 11:31 pm

Re: width height Filter

Post by void »

Everything 1.5.0.1360a fixes an issue with search terms being ignored.

Everything was removing duplicated search opcodes.
Unfortunately, width: and height: share the same opcode.

Everything will now only remove duplicated search opcodes when their search data is identical.
sk2107
Posts: 331
Joined: Sun Aug 07, 2022 8:48 pm

Re: width height Filter

Post by sk2107 »

Thank you.

Best Regards
Post Reply