Skip to content

Allow customization of theme in Chrome extension + set default theme #13841

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 2 commits into from
Aug 1, 2021

Conversation

Rob--W
Copy link
Member

@Rob--W Rob--W commented Aug 1, 2021

See commit messages for details.

(Note that the first commit is a follow-up to #12625)

Rob--W added 2 commits August 1, 2021 18:54
The `viewerCssTheme` option was not rendered because its entry in
`preferences_schema.json` did not have a `title`.

The order of keys in `preferences_schema.json` determines the order of the
rendered preferences in the options UI. Since `viewerCssTheme` affects the UI
very significantly, I have moved the option to the top.
Default to the dark theme for consistency with the previous version of the
published extension (was 12ff252).
@Snuffleupagus
Copy link
Collaborator

/botio-linux preview

@pdfjsbot
Copy link

pdfjsbot commented Aug 1, 2021

From: Bot.io (Linux m4)


Received

Command cmd_preview from @Snuffleupagus received. Current queue size: 0

Live output at: http://54.67.70.0:8877/7db9baa5ce3b4bc/output.txt

@pdfjsbot
Copy link

pdfjsbot commented Aug 1, 2021

From: Bot.io (Linux m4)


Success

Full output at http://54.67.70.0:8877/7db9baa5ce3b4bc/output.txt

Total script time: 5.14 mins

Published

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants