diff options
| author | Dāvis Mosāns <[email protected]> | 2022-06-12 02:55:12 +0100 |
|---|---|---|
| committer | Dāvis Mosāns <[email protected]> | 2022-06-15 02:35:19 +0100 |
| commit | fc2d181291fbbb76e4f62fdb1b9bb51a9f4d05dc (patch) | |
| tree | cfdea9c8b2f30444bc592606c0c36c1522b8e22f /src/dolphinmainwindow.h | |
| parent | 957e6309b8b60244a481a09d91d3a61f9ee9ceac (diff) | |
Fix rare ToolTipManager crash on exit
If tooltips are enabled and you hover over item
while immediately closing Dolphin sometimes it would crash
because native parent might have been destroyed before
DolphinView
Diffstat (limited to 'src/dolphinmainwindow.h')
0 files changed, 0 insertions, 0 deletions