File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -334,7 +334,7 @@ export class ToolTip extends StringRegion {
334334 [ '.' + ToolTip . className + ' > div' ] : {
335335 'border-radius' : 'inherit' ,
336336 padding : '0 2px' ,
337- }
337+ } ,
338338 } ) ;
339339}
340340
Original file line number Diff line number Diff line change @@ -823,15 +823,11 @@ export class Menu {
823823 [ '500%' ] ,
824824 ] ) ,
825825 ] ) ,
826- this . submenu (
827- 'Semantic Info' ,
828- 'Semantic Info' ,
829- [
830- this . checkbox ( 'Type' , 'Type' , 'infoType' ) ,
831- this . checkbox ( 'Role' , 'Role' , 'infoRole' ) ,
832- this . checkbox ( 'Prefix' , 'Prefix' , 'infoPrefix' ) ,
833- ] ,
834- ) ,
826+ this . submenu ( 'Semantic Info' , 'Semantic Info' , [
827+ this . checkbox ( 'Type' , 'Type' , 'infoType' ) ,
828+ this . checkbox ( 'Role' , 'Role' , 'infoRole' ) ,
829+ this . checkbox ( 'Prefix' , 'Prefix' , 'infoPrefix' ) ,
830+ ] ) ,
835831 this . rule ( ) ,
836832 this . submenu ( 'Role Description' , 'Describe math as' , [
837833 this . radioGroup ( 'roleDescription' , [
You can’t perform that action at this time.
0 commit comments