On Mon, 9 Jan 2023 23:59:19 GMT, Justin Lu <d...@openjdk.org> wrote: > The system property _user.timezone_ is specified in the > _TimeZone.getDefault()_ and _TimeZone.setDefault()_ methods. The javadoc > search box should be able to match on the system property name. > > This change replaces the **@code** tag with the **@systemProperty** tag for > instances of _user.timezone_ when appropriate.
This pull request has now been integrated. Changeset: 437d69a2 Author: Justin Lu <justin...@oracle.com> Committer: Naoto Sato <na...@openjdk.org> URL: https://git.openjdk.org/jdk/commit/437d69a220a8615f845013e0b495c5b47d945698 Stats: 2 lines in 1 file changed: 0 ins; 0 del; 2 mod 8299836: Make `user.timezone` system property searchable Reviewed-by: jpai, naoto ------------- PR: https://git.openjdk.org/jdk/pull/11915
