diff options
Diffstat (limited to 'java')
| -rw-r--r-- | java/org/gnu/emacs/EmacsWindow.java | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/java/org/gnu/emacs/EmacsWindow.java b/java/org/gnu/emacs/EmacsWindow.java index fec95526835..2f4e378fb78 100644 --- a/java/org/gnu/emacs/EmacsWindow.java +++ b/java/org/gnu/emacs/EmacsWindow.java @@ -365,8 +365,17 @@ public final class EmacsWindow extends EmacsHandleObject run () { if (overrideRedirect) - /* Set the layout parameters again. */ - view.setLayoutParams (getWindowLayoutParams ()); + { + WindowManager.LayoutParams params; + + /* Set the layout parameters again. */ + params = getWindowLayoutParams (); + view.setLayoutParams (params); + + /* Announce this update to the window server. */ + if (windowManager != null) + windowManager.updateViewLayout (view, params); + } view.mustReportLayout = true; view.requestLayout (); |