Minor fixes

arduino-ide-extension/src/browser/contributions/edit-contributions.ts

@@ -79,16 +79,6 @@ export class EditContributions extends Contribution {
       { execute: () => this.run('editor.action.formatDocument') }
     );
     registry.registerCommand(EditContributions.Commands.COPY_FOR_FORUM, {
-      execute: async () => {
-        const value = await this.currentValue();
-        if (value !== undefined) {
-          this.clipboardService.writeText(`[code]
-${value}
-[/code]`);
-        }
-      },
-    });
-    registry.registerCommand(EditContributions.Commands.COPY_FOR_GITHUB, {
       execute: async () => {
         const value = await this.currentValue();
         if (value !== undefined) {
@@ -111,26 +101,21 @@ ${value}
     });
     registry.registerMenuAction(ArduinoMenus.EDIT__TEXT_CONTROL_GROUP, {
       commandId: EditContributions.Commands.COPY_FOR_FORUM.id,
-      label: 'Copy for Forum',
+      label: 'Copy for Forum (Markdown)',
       order: '2',
     });
-    registry.registerMenuAction(ArduinoMenus.EDIT__TEXT_CONTROL_GROUP, {
-      commandId: EditContributions.Commands.COPY_FOR_GITHUB.id,
-      label: 'Copy for GitHub',
-      order: '3',
-    });
     registry.registerMenuAction(ArduinoMenus.EDIT__TEXT_CONTROL_GROUP, {
       commandId: CommonCommands.PASTE.id,
-      order: '4',
+      order: '3',
     });
     registry.registerMenuAction(ArduinoMenus.EDIT__TEXT_CONTROL_GROUP, {
       commandId: CommonCommands.SELECT_ALL.id,
-      order: '5',
+      order: '4',
     });
     registry.registerMenuAction(ArduinoMenus.EDIT__TEXT_CONTROL_GROUP, {
       commandId: EditContributions.Commands.GO_TO_LINE.id,
       label: 'Go to Line...',
-      order: '6',
+      order: '5',
     });
 
     registry.registerMenuAction(ArduinoMenus.EDIT__CODE_CONTROL_GROUP, {
@@ -195,11 +180,6 @@ ${value}
       keybinding: 'CtrlCmd+Shift+C',
       when: 'editorFocus',
     });
-    registry.registerKeybinding({
-      command: EditContributions.Commands.COPY_FOR_GITHUB.id,
-      keybinding: 'CtrlCmd+Alt+C',
-      when: 'editorFocus',
-    });
     registry.registerKeybinding({
       command: EditContributions.Commands.GO_TO_LINE.id,
       keybinding: 'CtrlCmd+L',
@@ -280,9 +260,6 @@ export namespace EditContributions {
     export const COPY_FOR_FORUM: Command = {
       id: 'arduino-copy-for-forum',
     };
-    export const COPY_FOR_GITHUB: Command = {
-      id: 'arduino-copy-for-github',
-    };
     export const GO_TO_LINE: Command = {
       id: 'arduino-go-to-line',
     };

arduino-ide-extension/src/browser/contributions/verify-sketch.ts

@@ -57,7 +57,7 @@ export class VerifySketch extends SketchContribution {
     });
     registry.registerMenuAction(ArduinoMenus.SKETCH__MAIN_GROUP, {
       commandId: VerifySketch.Commands.EXPORT_BINARIES.id,
-      label: 'Export compiled Binary',
+      label: 'Export Compiled Binary',
       order: '3',
     });
   }

arduino-ide-extension/src/browser/style/fonts.css

@@ -24,6 +24,9 @@ i {
   -moz-osx-font-smoothing: grayscale;
 }
 
+.fa-reload:before {
+  content: "\e900";
+}
 .fa-asterisk:before {
   content: "\f069";
 }

arduino-ide-extension/src/browser/style/index.css

@@ -96,3 +96,7 @@ button.theia-button.main {
     align-items: center;
     white-space: nowrap;
 }
+
+.fa-reload {
+    font-size: 14px;
+}

arduino-ide-extension/src/browser/widgets/cloud-sketchbook/cloud-user-status.tsx

@@ -63,7 +63,7 @@ export class UserStatus extends React.Component<
         </div>
         <div className="actions item flex-line">
           <div
-            className={`refresh-icon ${
+            className={`fa fa-reload ${
               (this.state.refreshing && 'rotating') || ''
             }`}
             style={{ cursor: 'pointer' }}