No automatic restart after theme switch

A fairly insignificant bug, but still worth reporting, just in case you were not aware of it.

What is your operating system? Windows 10

What is your Shotcut version? 23.05.14

Can you repeat the problem? If so, what are the steps?

  • Switch from one theme to another
  • Shotcut tells you it needs to restart to switch to the new theme and asks if you want to restart now.
  • Accept

Result: Shotcut shuts down, but unlike in previous versions, it doesn’t restart automatically.

I know, but won’t fix. Restart does not always means automatically.