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.