menu, fix warning when closing configuration page

Authored by timotheegiet on Apr 18 2019, 6:29 PM.