| Index: utils/css/generate.dart
|
| ===================================================================
|
| --- utils/css/generate.dart (revision 11633)
|
| +++ utils/css/generate.dart (working copy)
|
| @@ -40,7 +40,7 @@
|
| // and stylets with colliding names.
|
| buff.add('class ${production.dartClassName} {\n');
|
| buff.add(' // selector, properties<propertyName, value>\n');
|
| - buff.add(' static final selectors = const {\n');
|
| + buff.add(' static const selectors = const {\n');
|
|
|
| for (final ruleset in production.rulesets) {
|
| for (final selector in ruleset.selectorGroup.selectors) {
|
| @@ -76,7 +76,7 @@
|
| ' // CSS class selectors:\n');
|
| for (final className in knownClasses) {
|
| String classAsDart = className.replaceAll('-', '_').toUpperCase();
|
| - classSelectors.add(' static final String ${classAsDart} = ' +
|
| + classSelectors.add(' static const String ${classAsDart} = ' +
|
| '\'${className}\';\n');
|
| }
|
| classSelectors.add('}\n'); // End of class selectors.
|
|
|