mirrors/pdf.js
1
0
Fork 0
mirror of https://github.com/mozilla/pdf.js.git synced 2025-04-20 15:18:08 +02:00
Code Activity

Update the JS/CSS files for the new Prettier/Stylelint versions

Browse source
This commit is contained in:
Tim van der Meij 2024-07-13 16:20:22 +02:00
parent 49eba2f892
commit c77b97daff
No known key found for this signature in database
GPG key ID: 8C3FD2925A5F2762
5 changed files with 6 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

2
web/app_options.js
View file

@ -482,7 +482,7 @@ class AppOptions {
}
options[name] = defaultOnly
? defaultOption.value
: userOptions[name] ?? defaultOption.value;
: (userOptions[name] ?? defaultOption.value);
}
return options;
}

2
web/l10n.js
View file

@ -32,7 +32,7 @@ class L10n {
constructor({ lang, isRTL }, l10n = null) {
this.#lang = L10n.#fixupLangCode(lang);
this.#l10n = l10n;
this.#dir = isRTL ?? L10n.#isRTL(this.#lang) ? "rtl" : "ltr";
this.#dir = (isRTL ?? L10n.#isRTL(this.#lang)) ? "rtl" : "ltr";
}
_setL10n(l10n) {

3
web/text_layer_builder.css
View file

@ -96,10 +96,11 @@
}
::selection {
/* stylelint-disable declaration-block-no-duplicate-properties */
/*#if !MOZCENTRAL*/
background: rgba(0 0 255 / 0.25);
/*#endif*/
/* stylelint-disable-next-line declaration-block-no-duplicate-properties */
/* stylelint-enable declaration-block-no-duplicate-properties */
background: color-mix(in srgb, AccentColor, transparent 75%);
}