diff options
| -rw-r--r-- | lib/compiler-finder.ts | 2 | ||||
| -rw-r--r-- | static/styles/themes/default-theme.scss | 2 | ||||
| -rw-r--r-- | static/widgets/compiler-picker-popup.ts | 10 |
3 files changed, 9 insertions, 5 deletions
diff --git a/lib/compiler-finder.ts b/lib/compiler-finder.ts index e135ca417..5e0a6ad37 100644 --- a/lib/compiler-finder.ts +++ b/lib/compiler-finder.ts @@ -261,7 +261,7 @@ export class CompilerFinder { versionRe: props<string>('versionRe'), explicitVersion: props<string>('explicitVersion'), compilerType: props('compilerType', ''), - compilerCategories: props<string | undefined>('compilerCategories', undefined)?.split(":"), + compilerCategories: props<string | undefined>('compilerCategories', undefined)?.split(':'), debugPatched: props('debugPatched', false), demangler: demangler, demanglerType: props('demanglerType', ''), diff --git a/static/styles/themes/default-theme.scss b/static/styles/themes/default-theme.scss index b5e5a4577..ae87d09b1 100644 --- a/static/styles/themes/default-theme.scss +++ b/static/styles/themes/default-theme.scss @@ -422,7 +422,7 @@ div.argmenuitem span.argdescription { .compilers-col .group-wrapper .group { .label { // taking the color tom-select uses, but I find that a little low-contrast - background: darken(#F6F6F6, 3%); + background: darken(#f6f6f6, 3%); } } } diff --git a/static/widgets/compiler-picker-popup.ts b/static/widgets/compiler-picker-popup.ts index 65eb495ed..8a94021dc 100644 --- a/static/widgets/compiler-picker-popup.ts +++ b/static/widgets/compiler-picker-popup.ts @@ -74,13 +74,17 @@ export class CompilerPickerPopup { const instruction_sets = compilers.map(compiler => compiler.instructionSet); this.modalArchitectures.empty(); this.modalArchitectures.append( - ...unique(instruction_sets).sort().map(isa => `<span class="architecture" data-value=${isa}>${isa}</span>`) + ...unique(instruction_sets) + .sort() + .map(isa => `<span class="architecture" data-value=${isa}>${isa}</span>`), ); // get available compiler types const compilerTypes = compilers.map(compiler => compiler.compilerCategories ?? ['other']).flat(); this.modalCompilerTypes.empty(); this.modalCompilerTypes.append( - ...unique(compilerTypes).sort().map(type => `<span class="compiler-type" data-value=${type}>${type}</span>`) + ...unique(compilerTypes) + .sort() + .map(type => `<span class="compiler-type" data-value=${type}>${type}</span>`), ); // search box @@ -142,7 +146,7 @@ export class CompilerPickerPopup { } } if (this.categoryFilters.length > 0) { - const categories = compiler.compilerCategories ?? ["other"]; + const categories = compiler.compilerCategories ?? ['other']; if (intersection(this.categoryFilters, categories).length === 0) { return false; } |