いずれも鉱山にいる間に、画面右上の歯車のアイコンを選択することで、設定メニューを開くことができます！

そこから、通知、言語設定、音楽などの様々な設定を変更できます。