Hello! I saw you use dark theme. There's no need to set it yourself, you can just use the default one, which will automatically switch based on user setup

Oh, okay, thanks for the information!

praeclarumjj3 changed pull request status to merged

Sign up or log in to comment