ところで、ctrlを押しながらタスクバーのプロパティを選ぶと出てくる、
デスクバーオプションの謎は解けたのか？

何を思ったのか突然思い出したが