add setting to flash current user program

src/settings/index.ts

@@ -6,6 +6,7 @@
 export enum SettingId {
     ShowDocs = 'showDocs',
     DarkMode = 'darkMode',
+    FlashCurrentProgram = 'flashCurrentProgram',
 }
 
 export function getDefaultBooleanValue(id: SettingId): boolean {
@@ -13,7 +14,9 @@ export function getDefaultBooleanValue(id: SettingId): boolean {
         case SettingId.ShowDocs:
             return window.innerWidth >= 1024;
         case SettingId.DarkMode:
+        case SettingId.FlashCurrentProgram:
             return false;
+        // istanbul ignore next: it is a programmer error if we hit this
         default:
             throw Error(`Bad setting id: ${id}`);
     }