ホームドアが付いてからも調整まで時間が掛かるって聞くけど、なんかそういうの一日あればできるんじゃないの？って思ってしまう。どこのホームドアも、取り付けてから使い始めるまで結構期間があるように思う。