iPadのメモアプリにある鉛筆の太さが変えられることに気づいたのでメモアプリがとうとうDockスタメン入り いつからiPadの鉛筆の太さが変えられるようになったのか。iOS 11のときにはなかったような気がするのでiOS 12からか?