jumpTableKey method Null safety
Implementation
Widget jumpTableKey(String key, double widthCM) =>
_JumpTableKey(widthCM, this, [
row([
cell(text('')),
]),
row([
cell(list([
space(.55),
text(key,
box: true,
offset: const Offset(0, .1),
boxOffset: const Offset(-.1, -.55)),
space(.45)
])),
]),
row([
cell(text('')),
]),
row([
cell(text('')),
]),
]);