-
Notifications
You must be signed in to change notification settings - Fork 5.6k
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
JDK-8324774: Add DejaVu web fonts #17633
Conversation
👋 Welcome back hannesw! A progress list of the required criteria for merging this PR into |
Webrevs
|
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Build changes look trivially fine
@hns This change now passes all automated pre-integration checks. ℹ️ This project also has non-automated pre-integration requirements. Please see the file CONTRIBUTING.md for details. After integration, the commit message for the final commit will be:
You can use pull request commands such as /summary, /contributor and /issue to adjust it as needed. At the time when this comment was updated there had been 783 new commits pushed to the
As there are no conflicts, your changes will automatically be rebased on top of these commits when integrating. If you prefer to avoid this automatic rebasing, please check the documentation for the /integrate command for further details. ➡️ To integrate this PR with the above commit message to the |
/reviewers 2 |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Some suggestions.
I think there should be an option to opt-out of using these fonts.
try { | ||
// Extract font file names from CSS file | ||
URL cssURL = HtmlConfiguration.class.getResource(DocPaths.RESOURCES.resolve(cssPath).getPath()); | ||
InputStream in = cssURL.openStream(); |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Put this in try-with-resources
try (in) { | ||
try (BufferedReader reader = new BufferedReader(new InputStreamReader(in))) { | ||
String line; | ||
while ((line = reader.readLine()) != null) { |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Consider using BufferedReader.lines
https://docs.oracle.com/en/java/javase/21/docs/api/java.base/java/io/BufferedReader.html#lines()
@hns This pull request has been inactive for more than 4 weeks and will be automatically closed if another 4 weeks passes without any activity. To avoid this, simply add a new comment to the pull request. Feel free to ask for assistance if you need help with progressing this pull request towards integration! |
/issue add JDK-8327385 |
@hns |
I like the new stuff for |
/integrate |
Going to push as commit d0a2650.
Your commit was automatically rebased without conflicts. |
This change adds the DejaVu web fonts that were previously maintained externally to the open repository so they are available both in JDK API documentation and any API documentation generated with the
javadoc
tool. All files added in this PR are the same as the ones previously maintained externally, with the exception of added license and name/version comments indejavu.css
.Copying of font files to the generated documentation is done by looking for font file names in
dejavu.css
, so font file names can be changed without changing the code. However, the font file list is hard-coded inAPITest.java
.CheckLibraryVersions.java
is updated to make sure the name and version in the legal file matches the one in the stylesheet. Of course I also performed manual tests to make sure the font and legal files are copied to the output tree and used correctly in browsers.Once #17411 is integrated,
dejavu.css
should also be added to the list of files checked by the new "pass-through" test.Progress
Issues
Reviewers
Reviewing
Using
git
Checkout this PR locally:
$ git fetch https://git.openjdk.org/jdk.git pull/17633/head:pull/17633
$ git checkout pull/17633
Update a local copy of the PR:
$ git checkout pull/17633
$ git pull https://git.openjdk.org/jdk.git pull/17633/head
Using Skara CLI tools
Checkout this PR locally:
$ git pr checkout 17633
View PR using the GUI difftool:
$ git pr show -t 17633
Using diff file
Download this PR as a diff file:
https://git.openjdk.org/jdk/pull/17633.diff
Webrev
Link to Webrev Comment