jumpTableList method Null safety

List<Widget> jumpTableList(
  1. ScreenPositioner screen,
  2. double x,
  3. double y
)

Implementation

List<Widget> jumpTableList(ScreenPositioner screen, double x, double y) => [
      screen.box(Rect.fromLTWH(x, y, 3.2, 2.9), jumpTable(3.2, 2.9)),
      screen.box(Rect.fromLTWH(x - 3.49 + 4.05, y - 0.7 + 1.9, 1.5, 3),
          jumpTableKey('\u200a\u200a\u200aISG', 1.9)),
      screen.box(Rect.fromLTWH(x - 3.49 + 5.6, y - 0.7 + 1.9, 1.5, 3),
          jumpTableKey('DSE', 1.9))
    ];