Because the code theme can be set on its own, differently from the application theme, I think it makes sense to add a command line switch for changing it on its own too.