@@ -40,10 +40,10 @@ final extensionSets = {
40
40
};
41
41
42
42
void main () {
43
- versionSpan.text = 'v${md .version }' ;
43
+ versionSpan.textContent = 'v${md .version }' ;
44
44
markdownInput.onKeyUp.listen (_renderMarkdown);
45
45
46
- final savedMarkdown = window.localStorage[ 'markdown' ] ;
46
+ final savedMarkdown = window.localStorage. getItem ( 'markdown' ) ;
47
47
48
48
if (savedMarkdown != null &&
49
49
savedMarkdown.isNotEmpty &&
@@ -57,7 +57,7 @@ void main() {
57
57
58
58
// GitHub is the default extension set.
59
59
gfmRadio.attributes.getNamedItem ('checked' )? .value = '' ;
60
- gfmRadio.querySelector ('.glyph' )! .text = 'radio_button_checked' ;
60
+ gfmRadio.querySelector ('.glyph' )! .textContent = 'radio_button_checked' ;
61
61
extensionSet = extensionSets[gfmRadio.id];
62
62
_renderMarkdown ();
63
63
@@ -82,7 +82,7 @@ void _renderMarkdown([Event? event]) {
82
82
83
83
if (event != null ) {
84
84
// Not simulated typing. Store it.
85
- window.localStorage[ 'markdown' ] = markdown;
85
+ window.localStorage. setItem ( 'markdown' , markdown) ;
86
86
}
87
87
}
88
88
@@ -110,19 +110,21 @@ void _switchFlavor(Event e) {
110
110
if (target.attributes.getNamedItem ('checked' ) == null ) {
111
111
if (basicRadio != target) {
112
112
basicRadio.attributes.safeRemove ('checked' );
113
- basicRadio.querySelector ('.glyph' )! .text = 'radio_button_unchecked' ;
113
+ basicRadio.querySelector ('.glyph' )! .textContent =
114
+ 'radio_button_unchecked' ;
114
115
}
115
116
if (commonmarkRadio != target) {
116
117
commonmarkRadio.attributes.safeRemove ('checked' );
117
- commonmarkRadio.querySelector ('.glyph' )! .text = 'radio_button_unchecked' ;
118
+ commonmarkRadio.querySelector ('.glyph' )! .textContent =
119
+ 'radio_button_unchecked' ;
118
120
}
119
121
if (gfmRadio != target) {
120
122
gfmRadio.attributes.safeRemove ('checked' );
121
- gfmRadio.querySelector ('.glyph' )! .text = 'radio_button_unchecked' ;
123
+ gfmRadio.querySelector ('.glyph' )! .textContent = 'radio_button_unchecked' ;
122
124
}
123
125
124
126
target.attributes.getNamedItem ('checked' )? .value = '' ;
125
- target.querySelector ('.glyph' )! .text = 'radio_button_checked' ;
127
+ target.querySelector ('.glyph' )! .textContent = 'radio_button_checked' ;
126
128
extensionSet = extensionSets[target.id];
127
129
_renderMarkdown ();
128
130
}
0 commit comments