static int? inputInt(String name) { final s = inputText(name); if (s == null) return null; return int.tryParse(s.trim()); }