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
8265528: Specification of BasicSplitPaneDivider::getMinimumSize,getPreferredSize doesn't match with its behavior. #3870
Conversation
…eferredSize doesn't match with its behavior.
|
Webrevs
|
@prsadhuk This change now passes all automated pre-integration checks. 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 152 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.
|
/csr |
@prsadhuk has indicated that a compatibility and specification (CSR) request is needed for this pull request. |
/csr JDK-8266541 |
src/java.desktop/share/classes/javax/swing/plaf/basic/BasicSplitPaneDivider.java
Show resolved
Hide resolved
/integrate |
@prsadhuk Since your change was applied there have been 166 commits pushed to the
Your commit was automatically rebased without conflicts. Pushed as commit b50fc5f. |
The current specification of these 2 methods
api/java.desktop/javax/swing/plaf/basic/BasicSplitPaneDivider.html#getPreferredSize().
and
api/java.desktop/javax/swing/plaf/basic/BasicSplitPaneDivider.html#getMinimumSize()
does not specify correct return values. Also, the spec is not very intuitive and clear.
Rectified the spec to specify correct behaviour.
Progress
Issue
Reviewers
Reviewing
Using
git
Checkout this PR locally:
$ git fetch https://git.openjdk.java.net/jdk pull/3870/head:pull/3870
$ git checkout pull/3870
Update a local copy of the PR:
$ git checkout pull/3870
$ git pull https://git.openjdk.java.net/jdk pull/3870/head
Using Skara CLI tools
Checkout this PR locally:
$ git pr checkout 3870
View PR using the GUI difftool:
$ git pr show -t 3870
Using diff file
Download this PR as a diff file:
https://git.openjdk.java.net/jdk/pull/3870.diff