あ、プチマップってデフォルトのツールとは別のやつか