OLD | NEW |
1 // XXX: This file isn't used right now | 1 // XXX: This file isn't used right now |
2 | 2 |
3 import 'dart:html'; | 3 import 'dart:html'; |
4 | 4 |
5 final List<String> osList = const <String>['macos', 'windows', 'linux']; // all
supported OSs | 5 final List<String> osList = const <String>['macos', 'windows', 'linux']; // all
supported OSs |
6 String osName = 'linux'; // the currently displayed platform | 6 String osName = 'linux'; // the currently displayed platform |
7 | 7 |
8 /** Initializes osName and selects the corresponding radio button. */ | 8 /** Initializes osName and selects the corresponding radio button. */ |
9 void detectPlatform() { | 9 void detectPlatform() { |
10 // osName is initially 'linux', since linux strings are unpredictable. | 10 // osName is initially 'linux', since linux strings are unpredictable. |
(...skipping 25 matching lines...) Expand all Loading... |
36 }); | 36 }); |
37 }); | 37 }); |
38 } | 38 } |
39 | 39 |
40 /** Ready, set, go! */ | 40 /** Ready, set, go! */ |
41 void main() { | 41 void main() { |
42 detectPlatform(); | 42 detectPlatform(); |
43 filterPlatformText(); | 43 filterPlatformText(); |
44 registerHandlers(); | 44 registerHandlers(); |
45 } | 45 } |
OLD | NEW |