update sketch-tabs-menu and boards-manager icons

Author: francescospissu

Diff for: arduino-ide-extension/arduino-icons.json

@@ -24,7 +24,7 @@ export class BoardsListWidget extends ListWidget<BoardsPackage> {
     super({
       id: BoardsListWidget.WIDGET_ID,
       label: BoardsListWidget.WIDGET_LABEL,
-      iconClass: 'arduino-boards-manager',
+      iconClass: 'fa fa-arduino-boards',
       searchable: service,
       installable: service,
       itemLabel: (item: BoardsPackage) => item.name,

Diff for: arduino-ide-extension/src/browser/boards/boards-list-widget.ts

@@ -276,6 +276,7 @@ export namespace SketchControl {
   export namespace Commands {
     export const OPEN_SKETCH_CONTROL__TOOLBAR: Command = {
       id: 'arduino-open-sketch-control--toolbar',
+      iconClass: 'fa fa-arduino-sketch-tabs-menu',
     };
   }
 }

Diff for: arduino-ide-extension/src/browser/contributions/sketch-control.ts

@@ -1,9 +1,9 @@
 @font-face {
   font-family: 'FontAwesome';
   src:
-    url('fonts/FontAwesome.ttf?gerwt4') format('truetype'),
-    url('fonts/FontAwesome.woff?gerwt4') format('woff'),
-    url('fonts/FontAwesome.svg?gerwt4#FontAwesome') format('svg');
+    url('fonts/FontAwesome.ttf?hnd9gl') format('truetype'),
+    url('fonts/FontAwesome.woff?hnd9gl') format('woff'),
+    url('fonts/FontAwesome.svg?hnd9gl#FontAwesome') format('svg');
   font-weight: normal;
   font-style: normal;
   font-display: block;

Diff for: arduino-ide-extension/src/browser/style/fonts.css

@@ -177,15 +177,6 @@
     margin-left: 10px;
 }
 
-#arduino-open-sketch-control--toolbar {    
-    -webkit-mask: url(../icons/sketch-tabs-menu.svg) center no-repeat;
-    background-color: var(--theia-dropdown-foreground);
-}
-
-.p-TabBar.theia-app-sides .p-TabBar-tabIcon.arduino-boards-manager {
-    -webkit-mask: url(../icons/boards-manager.svg) center no-repeat;
-}
-
 /* Output */
 .theia-output .editor-container {
     background-color: var(--theia-arduino-output-background);