Mirrors/FlatLaf
1
0
Fork 0
mirror of https://github.com/JFormDesigner/FlatLaf.git synced 2025-12-07 06:20:53 +03:00
Code Issues Actions Packages Projects Releases Wiki Activity

Window decorations: fixed broken window resizing on Linux multi-screen setups (issue #632)

Browse Source
This commit is contained in:
Karl Tauber
2023-01-02 19:54:05 +01:00
parent 2134c19c58
commit 4b844353ee
2 changed files with 10 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
CHANGELOG.md
View File

@@ -5,6 +5,8 @@ FlatLaf Change Log
#### Fixed bugs #### Fixed bugs
- FlatLaf window decorations on Linux: Fixed broken window resizing on
multi-screen setups. (issue #632)
- IntelliJ Themes: - IntelliJ Themes:
- Fixed default button hover background in "Solarized Light" theme. (issue - Fixed default button hover background in "Solarized Light" theme. (issue
#628) #628)

14
flatlaf-core/src/main/java/com/formdev/flatlaf/ui/FlatWindowResizer.java
View File

@@ -606,9 +606,10 @@ debug*/
if( resizeDir == S_RESIZE_CURSOR || resizeDir == SW_RESIZE_CURSOR || resizeDir == SE_RESIZE_CURSOR ) { if( resizeDir == S_RESIZE_CURSOR || resizeDir == SW_RESIZE_CURSOR || resizeDir == SE_RESIZE_CURSOR ) {
newBounds.height = (yOnScreen + dragBottomOffset) - newBounds.y; newBounds.height = (yOnScreen + dragBottomOffset) - newBounds.y;
if( limitToParentBounds() ) { if( limitToParentBounds() ) {
int parentHeight = getParentBounds().height; Rectangle parentBounds = getParentBounds();
if( newBounds.y + newBounds.height > parentHeight ) int parentBottomY = parentBounds.y + parentBounds.height;
newBounds.height = parentHeight - newBounds.y; if( newBounds.y + newBounds.height > parentBottomY )
newBounds.height = parentBottomY - newBounds.y;
} }
} }
@@ -624,9 +625,10 @@ debug*/
if( resizeDir == E_RESIZE_CURSOR || resizeDir == NE_RESIZE_CURSOR || resizeDir == SE_RESIZE_CURSOR ) { if( resizeDir == E_RESIZE_CURSOR || resizeDir == NE_RESIZE_CURSOR || resizeDir == SE_RESIZE_CURSOR ) {
newBounds.width = (xOnScreen + dragRightOffset) - newBounds.x; newBounds.width = (xOnScreen + dragRightOffset) - newBounds.x;
if( limitToParentBounds() ) { if( limitToParentBounds() ) {
int parentWidth = getParentBounds().width; Rectangle parentBounds = getParentBounds();
if( newBounds.x + newBounds.width > parentWidth ) int parentRightX = parentBounds.x + parentBounds.width;
newBounds.width = parentWidth - newBounds.x; if( newBounds.x + newBounds.width > parentRightX )
newBounds.width = parentRightX - newBounds.x;
} }
} }