1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
import 'dart:async';
import 'package:flutter/material.dart';
import '../app_settings.dart';
import '../core/core_api.dart';
import '../core/core_controller.dart';
import '../core/models.dart';
import '../l10n/app_localizations.dart';
import 'format.dart';
import 'widgets.dart';
/// The server list, one choice in one list: Recommended and Fastest, which
/// the app picks, then the locations with their real delay. A tap on a row
/// chooses it (`proxy.country`: empty for Mozilla's recommended location,
/// `fastest` for the lowest real delay, otherwise a country).
class ServersPage extends StatefulWidget {
const ServersPage({super.key, required this.core, required this.settings});
final CoreController core;
final AppSettings settings;
@override
State<ServersPage> createState() => _ServersPageState();
}
/// How old measured delays are before the page measures them again when
/// it opens.
const _pingStale = Duration(minutes: 10);
class _ServersPageState extends State<ServersPage> {
List<Location>? _locations;
DateTime? _pingedAt;
String _country = '';
bool _testing = false;
/// The choice being saved ('' recommended, 'fastest', or a code).
String? _busy;
String? _summary;
CoreController get _core => widget.core;
@override
void initState() {
super.initState();
_load();
}
Future<void> _load() async {
try {
final list = await _core.call((api) => api.locations());
final config = await _core.settings();
if (!mounted) return;
setState(() {
_locations = list.locations;
_pingedAt = list.pingedAt;
if (config['proxy'] case {'country': final String country}) {
_country = country;
}
});
// Delays measured a while ago, or never: measured again at once (the
// core does it also while the proxy is off).
final at = _pingedAt;
if (at == null || DateTime.now().difference(at) > _pingStale) {
unawaited(_test());
}
} on CoreApiException catch (e) {
if (mounted) showError(context, e.message);
} on CoreUnavailable {
// The shell shows it.
}
}
Future<void> _choose(String country) async {
if (_busy != null || _country.toLowerCase() == country.toLowerCase()) {
return;
}
setState(() => _busy = country);
final ok = await runShowingErrors(
context,
() => _core.setLocation(country),
);
if (!mounted) return;
setState(() {
_busy = null;
if (ok) _country = country;
});
}
Future<void> _test() async {
final l = AppLocalizations.of(context);
final codes = [
for (final loc in _locations ?? const <Location>[]) loc.code,
];
setState(() {
_testing = true;
_summary = null;
});
try {
final result = await _core.call((api) => api.pingLocations(codes));
final tested = {for (final loc in result.locations) loc.code: loc};
if (!mounted) return;
setState(() {
_locations = [
for (final loc in _locations ?? const <Location>[])
tested[loc.code] ?? loc,
];
_pingedAt = result.pingedAt ?? DateTime.now();
final answered = result.locations.where((loc) => loc.answered).length;
_summary = l.delaySummary(answered, result.locations.length);
});
} on CoreApiException catch (e) {
if (mounted) showError(context, e.message);
} on CoreUnavailable catch (e) {
if (mounted) showError(context, describeProblem(l, e));
} finally {
if (mounted) setState(() => _testing = false);
}
}
/// Every country, without Mozilla's recommended location (the choice
/// above), fastest first, then by name in the app's language.
List<Location> _countries(AppLocalizations l) {
final list = [
for (final loc in _locations ?? const <Location>[])
if (!isRecommendedPlace(loc.code)) loc,
];
list.sort((a, b) {
final da = a.answered ? a.pingMs : 1 << 30;
final db = b.answered ? b.pingMs : 1 << 30;
if (da != db) return da.compareTo(db);
return nameSortKey(
l.localeName,
locationName(l, a.code, a.name),
).compareTo(nameSortKey(l.localeName, locationName(l, b.code, b.name)));
});
return list;
}
@override
Widget build(BuildContext context) {
final l = AppLocalizations.of(context);
final theme = Theme.of(context);
final muted = theme.textTheme.bodySmall?.copyWith(
color: theme.colorScheme.onSurfaceVariant,
);
final chosen = _country.toLowerCase();
final countries = _countries(l);
final recommended = (_locations ?? const <Location>[])
.where((loc) => isRecommendedPlace(loc.code))
.firstOrNull;
final delayLine =
_summary ??
(_pingedAt == null ? null : l.testedAgo(formatAgo(l, _pingedAt!)));
return ListView(
padding: pagePadding(context),
children: [
PageTitle(l.navServers),
_SectionHeader(title: l.autoSection),
_ChoiceCard(
children: [
_ChoiceRow(
leading: const CountryFlag(code: 'REC', width: 36),
title: l.modeRecommended,
subtitle: l.modeRecommendedHint,
delay: recommended == null
? null
: _Delay(location: recommended, testing: _testing),
selected: chosen == '',
busy: _busy == '',
onTap: () => _choose(''),
),
_ChoiceRow(
leading: const _IconTile(icon: Icons.bolt_rounded),
title: l.modeFastest,
subtitle: l.modeFastestHint,
selected: chosen == 'fastest',
busy: _busy == 'fastest',
onTap: () => _choose('fastest'),
),
],
),
const SizedBox(height: 20),
_SectionHeader(
title: l.locationsSection,
action: TextButton.icon(
onPressed: !_testing && _locations != null ? _test : null,
icon: _testing
? const SizedBox.square(
dimension: 16,
child: CircularProgressIndicator(strokeWidth: 2),
)
: const Icon(Icons.speed_rounded, size: 18),
label: Text(_testing ? l.testingDelay : l.testDelay),
),
),
if (delayLine != null)
Padding(
padding: const EdgeInsetsDirectional.fromSTEB(4, 0, 4, 8),
child: Text(delayLine, style: muted),
),
if (_locations == null)
const Padding(
padding: EdgeInsets.all(24),
child: Center(child: CircularProgressIndicator()),
)
else if (countries.isEmpty)
Panel(child: Text(l.noServers, style: muted))
else
_ChoiceCard(
children: [
for (final loc in countries)
_ChoiceRow(
leading: CountryFlag(code: loc.code, width: 36),
title: locationName(l, loc.code, loc.name),
subtitle: _subtitle(loc),
delay: _Delay(location: loc, testing: _testing),
selected: chosen == loc.code.toLowerCase(),
busy: _busy?.toLowerCase() == loc.code.toLowerCase(),
onTap: () => _choose(loc.code),
),
],
),
],
);
}
/// A location's second line: its city when it says more than the
/// country.
String? _subtitle(Location loc) =>
loc.city.isNotEmpty && loc.city != loc.name ? loc.city : null;
}
class _SectionHeader extends StatelessWidget {
const _SectionHeader({required this.title, this.action});
final String title;
final Widget? action;
@override
Widget build(BuildContext context) {
final theme = Theme.of(context);
return Padding(
padding: const EdgeInsetsDirectional.fromSTEB(4, 8, 0, 6),
child: Row(
children: [
Expanded(
child: Text(
title,
style: theme.textTheme.labelLarge?.copyWith(
color: theme.colorScheme.primary,
fontWeight: FontWeight.w600,
),
),
),
?action,
],
),
);
}
}
/// Rows of choices in one card, divided by thin lines.
class _ChoiceCard extends StatelessWidget {
const _ChoiceCard({required this.children});
final List<Widget> children;
@override
Widget build(BuildContext context) => Card(
margin: EdgeInsets.zero,
clipBehavior: Clip.antiAlias,
child: Column(
children: [
for (var i = 0; i < children.length; i++) ...[
if (i > 0) const Divider(height: 1),
children[i],
],
],
),
);
}
/// An icon in the size of a flag, for a choice that is not a country.
class _IconTile extends StatelessWidget {
const _IconTile({required this.icon});
final IconData icon;
@override
Widget build(BuildContext context) {
final scheme = Theme.of(context).colorScheme;
return Container(
width: 36,
height: 27,
decoration: BoxDecoration(
color: scheme.tertiaryContainer,
borderRadius: BorderRadius.circular(4),
),
child: Icon(icon, size: 20, color: scheme.onTertiaryContainer),
);
}
}
/// One choice: what it is, its delay, and a radio mark; a tap chooses it.
class _ChoiceRow extends StatelessWidget {
const _ChoiceRow({
required this.leading,
required this.title,
required this.selected,
required this.busy,
required this.onTap,
this.subtitle,
this.delay,
});
final Widget leading;
final String title;
final String? subtitle;
final Widget? delay;
final bool selected;
final bool busy;
final VoidCallback onTap;
@override
Widget build(BuildContext context) {
final theme = Theme.of(context);
final scheme = theme.colorScheme;
return Material(
color: selected
? scheme.primary.withValues(alpha: 0.08)
: Colors.transparent,
child: InkWell(
onTap: onTap,
child: Padding(
padding: const EdgeInsetsDirectional.fromSTEB(14, 12, 12, 12),
child: Row(
children: [
leading,
const SizedBox(width: 16),
Expanded(
child: Column(
crossAxisAlignment: CrossAxisAlignment.start,
children: [
Text(
title,
style: theme.textTheme.titleSmall?.copyWith(
fontWeight: selected
? FontWeight.w700
: FontWeight.w500,
),
overflow: TextOverflow.ellipsis,
),
if (subtitle != null) ...[
const SizedBox(height: 2),
Text(
subtitle!,
style: theme.textTheme.bodySmall?.copyWith(
color: scheme.onSurfaceVariant,
),
maxLines: 2,
overflow: TextOverflow.ellipsis,
),
],
],
),
),
if (delay != null) ...[const SizedBox(width: 10), delay!],
const SizedBox(width: 6),
SizedBox.square(
dimension: 24,
child: busy
? const Padding(
padding: EdgeInsets.all(3),
child: CircularProgressIndicator(strokeWidth: 2),
)
: Icon(
selected
? Icons.radio_button_checked_rounded
: Icons.radio_button_unchecked_rounded,
color: selected ? scheme.primary : scheme.outline,
),
),
],
),
),
),
);
}
}
/// A location's real delay as a small badge in its color. While the delays
/// are measured, a small spinner instead of the last results, which may be
/// old (a measurement while offline answers nothing). A location that did
/// not answer is grey, not red: it says nothing is wrong with the app.
class _Delay extends StatelessWidget {
const _Delay({required this.location, required this.testing});
final Location location;
final bool testing;
@override
Widget build(BuildContext context) {
final l = AppLocalizations.of(context);
final theme = Theme.of(context);
final muted = theme.colorScheme.onSurfaceVariant;
final loc = location;
final (text, color) = testing
? ('', muted)
: loc.answered
? (l.milliseconds(loc.pingMs), delayColor(loc.pingMs))
: loc.pingError.isNotEmpty
? (l.noAnswer, muted)
: ('—', muted);
return Container(
padding: const EdgeInsets.symmetric(horizontal: 8, vertical: 3),
decoration: BoxDecoration(
color: color.withValues(alpha: 0.12),
borderRadius: BorderRadius.circular(999),
),
child: testing
? SizedBox.square(
dimension: 12,
child: CircularProgressIndicator(strokeWidth: 1.5, color: muted),
)
: Text(
text,
style: theme.textTheme.labelMedium?.copyWith(
color: color,
fontWeight: FontWeight.w700,
),
),
);
}
}