Resizing windows below their minimal size considers the cursor position as the window edge

[Pandicon]

Describe the bug

When resizing a window, it will stop shrinking at some point due to a minimum width caused by inner widgets. However, if one ignores the fact and tries to resize it below this width, the inner widgets are rendered as if the window was actually being resized. The widgets shrink in width, stopping at some mysterious value (maybe an internal minimal width?).

To Reproduce
Steps to reproduce the behavior:

1. Go to the egui.rs demo
2. Try making the "Font book" or "Panels" windows as narrow as possible (the bug is present everywhere, but here it is easy to notice)

Expected behavior

Once the window stops shrinking, the inner widgets do not change if one moves their mouse inwards.

Screenshots

2025-02-08.11-57-04.mp4

Desktop:

• OS: Windows 10 Pro, 22H2
• Browser: Microsoft Edge v133.0, Google Chrome v133.0, Mozilla Firefox v135.0 (present in all of them)

Mobile:

• OS: Android 14, OneUI 6.1.1

Additional context
I noticed this issue in my app, running on Windows 10, but using egui 0.30, so it is not an issue in just egui 0.31. Not sure about older versions of egui.