レコードクラスの使用箇所
org.springframework.shell.jline.tui.geom.Dimension
Dimension を使用するパッケージ
org.springframework.shell.jline.tui.component.view.control 内の Dimension 使用
修飾子と型メソッド説明@Nullable DimensionButtonView.getPreferredDimension()MenuView.getPreferredDimension()コンテンツを表示するために必要な優先ディメンションメニューを取得します。