@@ -38,31 +38,31 @@ interface Key {
3838const keys : Key [ ] = [
3939 {
4040 id : 'explorer' ,
41- arrow : '←' ,
41+ arrow : '\u2190' , // ←
4242 label : localize ( 'welcomeOverlay.explorer' , "File explorer" ) ,
4343 command : 'workbench.view.explorer'
4444 } ,
4545 {
4646 id : 'search' ,
47- arrow : '←' ,
47+ arrow : '\u2190' , // ←
4848 label : localize ( 'welcomeOverlay.search' , "Search across files" ) ,
4949 command : 'workbench.view.search'
5050 } ,
5151 {
5252 id : 'git' ,
53- arrow : '←' ,
53+ arrow : '\u2190' , // ←
5454 label : localize ( 'welcomeOverlay.git' , "Source code management" ) ,
5555 command : 'workbench.view.scm'
5656 } ,
5757 {
5858 id : 'debug' ,
59- arrow : '←' ,
59+ arrow : '\u2190' , // ←
6060 label : localize ( 'welcomeOverlay.debug' , "Launch and debug" ) ,
6161 command : 'workbench.view.debug'
6262 } ,
6363 {
6464 id : 'extensions' ,
65- arrow : '←' ,
65+ arrow : '\u2190' , // ←
6666 label : localize ( 'welcomeOverlay.extensions' , "Manage extensions" ) ,
6767 command : 'workbench.view.extensions'
6868 } ,
@@ -74,7 +74,7 @@ const keys: Key[] = [
7474 // },
7575 {
7676 id : 'problems' ,
77- arrow : '⤹' ,
77+ arrow : '\u2939' , // ⤹
7878 label : localize ( 'welcomeOverlay.problems' , "View errors and warnings" ) ,
7979 command : 'workbench.actions.view.problems'
8080 } ,
@@ -92,13 +92,13 @@ const keys: Key[] = [
9292 // },
9393 {
9494 id : 'commandPalette' ,
95- arrow : '↖' ,
95+ arrow : '\u2196' , // ↖
9696 label : localize ( 'welcomeOverlay.commandPalette' , "Find and run all commands" ) ,
9797 command : ShowAllCommandsAction . ID
9898 } ,
9999 {
100100 id : 'notifications' ,
101- arrow : '⤵' ,
101+ arrow : '\u2935' , // ⤵
102102 arrowLast : true ,
103103 label : localize ( 'welcomeOverlay.notifications' , "Show notifications" ) ,
104104 command : 'notifications.showList'
@@ -186,7 +186,7 @@ class WelcomeOverlay extends Disposable {
186186 . forEach ( ( { id, arrow, label, command, arrowLast } ) => {
187187 const div = dom . append ( this . _overlay , $ ( `.key.${ id } ` ) ) ;
188188 if ( arrow && ! arrowLast ) {
189- dom . append ( div , $ ( 'span.arrow' ) ) . innerHTML = arrow ;
189+ dom . append ( div , $ ( 'span.arrow' , undefined , arrow ) ) ;
190190 }
191191 dom . append ( div , $ ( 'span.label' ) ) . textContent = label ;
192192 if ( command ) {
@@ -196,7 +196,7 @@ class WelcomeOverlay extends Disposable {
196196 }
197197 }
198198 if ( arrow && arrowLast ) {
199- dom . append ( div , $ ( 'span.arrow' ) ) . innerHTML = arrow ;
199+ dom . append ( div , $ ( 'span.arrow' , undefined , arrow ) ) ;
200200 }
201201 } ) ;
202202 }
0 commit comments