ペンの色などの設定値の変更は別の端末でも有効ですか？

ペンの色など各ユーザーの設定値は、ログアウトの際にサーバーに保存され、次回ログイン時に復元されます。別の端末でログインしても、設定値が復元されます。