width height Filter

[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 (80.87 KiB) Viewed 2398 times

[sk2107]

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


Best regards

[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]

Thanks a lot.

Best regards

[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]

Thank you.

Best Regards