Saving "disable mining" does not stop mining

i stopped mining about 10 minutes ago and now i got the pop up saying that one of those downloads finished.
so mining does not stop until tribler gets stopped

@tribler55 Is this in the latest release (7.3.2)?
Does it also not work after a restart?

was in the latest and also in the current -exp3
i guess a restart works but its a bit wierd that i have to restart. because the app behaves like if mining has been disabled when i uncheck the checkbox and press “save”
if thats not working then it would probably be nice to have a popup “please restart app”