Skip to content

Set font families that were not specified.#13533

Merged
fcollonval merged 5 commits into
jupyterlab:masterfrom
HaudinFlorence:set_non_specified_font_families
Dec 13, 2022
Merged

Set font families that were not specified.#13533
fcollonval merged 5 commits into
jupyterlab:masterfrom
HaudinFlorence:set_non_specified_font_families

Conversation

@HaudinFlorence

@HaudinFlorence HaudinFlorence commented Dec 2, 2022

Copy link
Copy Markdown
Contributor

When working on a theme editor extension, there were only there 3 texts items ("Code" in notebook toolbar, the name of the kernel and the switch label) that were not following the selected ui-font family.

References

Code changes

Add font families in packages/ui-components/style in switch.css, base.css and toolbar.css

User-facing changes

Backwards-incompatible changes

@jupyterlab-probot

Copy link
Copy Markdown

Thanks for making a pull request to jupyterlab!
To try out this branch on binder, follow this link: Binder

@github-actions github-actions Bot added Design System CSS pkg:ui-components tag:CSS For general CSS related issues and pecadilloes labels Dec 2, 2022
Comment thread package.json Outdated
@fcollonval fcollonval force-pushed the set_non_specified_font_families branch from af5cac9 to b2c2bac Compare December 5, 2022 13:08
@fcollonval

Copy link
Copy Markdown
Member

bot please update snapshots

@fcollonval fcollonval added this to the 4.0.0 milestone Dec 5, 2022
@github-actions

github-actions Bot commented Dec 5, 2022

Copy link
Copy Markdown
Contributor

Documentation snapshots updated.

Co-authored-by: Frédéric Collonval <fcollonval@users.noreply.github.com>
@fcollonval fcollonval force-pushed the set_non_specified_font_families branch from 7240e40 to 310ad11 Compare December 6, 2022 08:15
@fcollonval

Copy link
Copy Markdown
Member

bot please update snapshots

@github-actions

github-actions Bot commented Dec 6, 2022

Copy link
Copy Markdown
Contributor

Documentation snapshots updated.

@fcollonval

Copy link
Copy Markdown
Member

bot please update documentation snapshots

@github-actions

github-actions Bot commented Dec 6, 2022

Copy link
Copy Markdown
Contributor

Galata snapshots updated.

@github-actions

github-actions Bot commented Dec 6, 2022

Copy link
Copy Markdown
Contributor

Documentation snapshots updated.

@fcollonval fcollonval force-pushed the set_non_specified_font_families branch from 394dd4c to 7fb3423 Compare December 6, 2022 13:45

@fcollonval fcollonval left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@fcollonval fcollonval merged commit b235d7e into jupyterlab:master Dec 13, 2022
@github-actions github-actions Bot locked as resolved and limited conversation to collaborators Dec 14, 2023
@HaudinFlorence HaudinFlorence deleted the set_non_specified_font_families branch September 16, 2025 08:22
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants