Tools in the mode file are not correctly applied after window reload (#255755)
Co-authored-by: Benjamin Pasero <[email protected]>
M
Martin Aeschlimann committed
0c952e349a9d4931e822d7ea6a664a3b59fe9f10
Parent: 0d5814b
Committed by GitHub <[email protected]>
on 7/14/2025, 1:59:08 PM