As things stand now, yes, we'd need to restart the app. For the greeter and indicator to notice, we might need to restart the shell, so more or less restart the phone. We're basically in the same boat as changing display language.
Whether it makes sense to "fix" to be able to dynamically react to such a change... in real life I'd say it's a moot problem, as people never change that setting once they're through with it.
As things stand now, yes, we'd need to restart the app. For the greeter and indicator to notice, we might need to restart the shell, so more or less restart the phone. We're basically in the same boat as changing display language.
Whether it makes sense to "fix" to be able to dynamically react to such a change... in real life I'd say it's a moot problem, as people never change that setting once they're through with it.