| Index: lib/html/src/Device.dart
|
| diff --git a/lib/html/src/Device.dart b/lib/html/src/Device.dart
|
| index 3dc6649fe9b6cf6fc4ce80e1e75d84e2f21a4846..ecfc86008e4609791b2d1ec6bf5a7fa2a6361425 100644
|
| --- a/lib/html/src/Device.dart
|
| +++ b/lib/html/src/Device.dart
|
| @@ -11,20 +11,20 @@ class _Device {
|
| * the user agent.
|
| * Returns the user agent.
|
| */
|
| - static String get userAgent() => window.navigator.userAgent;
|
| + static String get userAgent => window.navigator.userAgent;
|
|
|
| /**
|
| * Determines if the current device is running Opera.
|
| */
|
| - static bool get isOpera() => userAgent.contains("Opera", 0);
|
| + static bool get isOpera => userAgent.contains("Opera", 0);
|
|
|
| /**
|
| * Determines if the current device is running Internet Explorer.
|
| */
|
| - static bool get isIE() => !isOpera && userAgent.contains("MSIE", 0);
|
| + static bool get isIE => !isOpera && userAgent.contains("MSIE", 0);
|
|
|
| /**
|
| * Determines if the current device is running Firefox.
|
| */
|
| - static bool get isFirefox() => userAgent.contains("Firefox", 0);
|
| + static bool get isFirefox => userAgent.contains("Firefox", 0);
|
| }
|
|
|