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

Replace Verdana font for metrics calculation #86

Merged
merged 3 commits into from
Jul 14, 2022

Conversation

MarkEWaite
Copy link
Contributor

@MarkEWaite MarkEWaite commented Jul 14, 2022

Replace Verdana font for metrics calculation

The Verdana font is a proprietary font that is not licensed for redistribution in source form. The Jenkins governance board has noted that is not compatible with Jenkins licensing standards. See the mailing list for more details.

Replaces the proprietary font with a redistributable font that is stated to be metrically compatible with Verdana.

Depends on #83 and #85

Still needs interactive testing to confirm that the replacement font behaves as expected.

  • Make sure you are opening from a topic/feature/bugfix branch (right side) and not your main branch!
  • Ensure that the pull request title represents the desired changelog entry
  • Please describe what you did
  • Link to relevant issues in GitHub or Jira
  • Link to relevant pull requests, esp. upstream and downstream changes
  • Ensure you have provided tests - that demonstrates feature works or fixes the issue
  • Tested interactively to compare behavior before and after the change

@MarkEWaite MarkEWaite added the bug Incorrect or flawed behavior label Jul 14, 2022
@MarkEWaite MarkEWaite force-pushed the replace-verdana-font branch from cbfd2b2 to 9a111b6 Compare July 14, 2022 17:13
The Bitstream Vera font license allows redistribution and is claimed
to be metrically compatible with Verdana.  The unit test in this pull
request indicates that the metric compatibility may not extend to the
width of individual characters as measured in this use case.

Even if the metrics are different, it is much better for users that
we deliver a working plugin with open source components rather than
suspending the distribution of the plugin due to the proprietary font.
@MarkEWaite MarkEWaite force-pushed the replace-verdana-font branch from 9a111b6 to 00bb608 Compare July 14, 2022 19:10
@MarkEWaite MarkEWaite marked this pull request as ready for review July 14, 2022 19:24
@MarkEWaite MarkEWaite changed the title Replace Verdana font Replace Verdana font for metrics calculation Jul 14, 2022
@MarkEWaite MarkEWaite merged commit fb9b573 into jenkinsci:master Jul 14, 2022
@MarkEWaite MarkEWaite deleted the replace-verdana-font branch July 14, 2022 19:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Incorrect or flawed behavior
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant