Skip to content
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

Fix font name for pictgram #835

Merged
merged 2 commits into from
Jan 11, 2022
Merged

Conversation

k-okada
Copy link
Member

@k-okada k-okada commented Nov 4, 2021

PR #759 reported fa-mendeley is not displayed correctly.
I think This because of the plugin uses system font, which is installed by fonts-font-awesome deb package, not font defined in fontawesome.dat. So if you removefonts-font-awesome, you can not display most of font correctly as shown in below.

Screenshot from 2021-11-04 16-28-17

This PR update getFont function to return the correct font family and display all pictgrams

Screenshot from 2021-11-04 16-59-39

PR jsk-ros-pkg#579 reported fa-mendeley is not displayed correctly. This because of the plugin uses system font, which is installed by fonts-font-awesome deb package, not font defined in fontawesome.dat. So if you remove fonts-font-awesome, you can not display most of font correctly. This PR update getFont function to return the correct font family
@k-okada k-okada merged commit a94c1a2 into jsk-ros-pkg:master Jan 11, 2022
@k-okada k-okada deleted the fix_font_name_759 branch January 11, 2022 03:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant