15
15
< script > var APP_LOG_URL = "{{{ LOG_URL }}}" ; </ script >
16
16
</ head >
17
17
< body >
18
+ < main >
19
+ < div id ="Toolbar " role ="region " aria-label ="Toolbar " tabindex ="-1 ">
18
20
< div id ="header ">
19
21
< div id ="bonniemenu " class ="menu ">
20
22
< button class ="blueButton ">
71
73
< div id ="rename " class ="menuButton disabled "> < a href ="javascript:void(0) "> Rename</ a > </ div >
72
74
73
75
</ div >
74
- < button id ="insert " class ="blueButton loginOnly "> Insert</ button >
76
+ < button role =" button " aria-label =" Insert, F11 " id ="insert " class ="blueButton loginOnly "> Insert</ button >
75
77
< div id ="shareContainer "> </ div >
76
78
<!-- <button id="saveButton" class="blueButton loginOnly">Save</button> -->
77
79
<!-- <button id="openFile" class="blueButton loginOnly">Open</button> -->
78
80
79
- < button disabled id ="breakButton " class ="blueButton rhs "> Stop</ button >
81
+ < button role =" button " aria-label =" Stop, F8 " disabled id ="breakButton " class ="blueButton rhs "> Stop</ button >
80
82
< div id ="runPart " class ="blueButton rhs ">
81
83
< button disabled id ="runDropdown " class ="blueButton dropdown rhs "> ↴</ button >
82
- < button disabled id ="runButton " class ="blueButton rhs "> Run</ button >
84
+ < button role =" button " aria-label =" Run, F7 " disabled id ="runButton " class ="blueButton rhs "> Run</ button >
83
85
</ div >
84
86
< ul id ="run-dropdown-content ">
85
87
< li id ="select-run "> Run</ li >
86
88
< li id ="select-tc-run "> Type-check and run< sup > (beta)</ sup > </ li >
87
89
</ ul >
88
90
</ div >
91
+ </ div >
89
92
< div id ="toolbar "> </ div >
90
93
< div id ="loader "> < p > Raising the masts...</ p > </ div >
91
94
< div id ="main ">
@@ -104,7 +107,7 @@ <h3></h3>
104
107
</ div >
105
108
</ div >
106
109
< div id ="notification " class ="notificationArea "> </ div >
107
- < div id ="REPL " class ="replContainer ">
110
+ < div id ="REPL " class ="replContainer " role =" region " aria-label =" Interactions " >
108
111
< div id ="handle " class ="ui-resizable-handle ui-resizable-w "> </ div >
109
112
</ div >
110
113
< div id ="help-keys ">
@@ -136,7 +139,14 @@ <h3></h3>
136
139
</ div >
137
140
</ div >
138
141
</ div >
139
- < div id ="footer "> </ div >
142
+ < div id ="footer ">
143
+ < div id ="announcements " class ="screenreader-only " role ="region " aria-label ="Announcements " tabIndex ="-1 ">
144
+ < h2 > Announcements</ h2 >
145
+ < ul id ="announcementlist " aria-live ="assertive "
146
+ aria-relevant ="additions " style ="list-style: none; ">
147
+ </ ul >
148
+ </ div >
149
+ </ div >
140
150
< script src ="/js/es6-shim.js "> </ script >
141
151
< script src ="https://ajax.googleapis.com/ajax/libs/jquery/1.10.2/jquery.min.js "> </ script >
142
152
< script src ="https://ajax.googleapis.com/ajax/libs/jqueryui/1.10.4/jquery-ui.min.js "> </ script >
@@ -190,5 +200,6 @@ <h3></h3>
190
200
191
201
<!-- <script type="text/javascript"
192
202
src="https://caja.appspot.com/caja.js"></script> -->
203
+ </ main >
193
204
</ body >
194
205
</ html >
0 commit comments