diff options
| author | Po Lu <luangruo@yahoo.com> | 2025-02-19 15:34:51 +0800 |
|---|---|---|
| committer | Po Lu <luangruo@yahoo.com> | 2025-02-19 15:34:51 +0800 |
| commit | e97be722d392056b6ef9e47664273ee2ca7df374 (patch) | |
| tree | b476c3a5fd4eaa25314cd4a480e5b6daa8cddaca /java | |
| parent | 0cf3d3415224204c82efda373ffc7055163b1893 (diff) | |
Properly move existing tooltips on Android
* java/org/gnu/emacs/EmacsWindow.java (requestViewLayout): If an
override redirect window, additionally notify the window manager
of layout changes.
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 (); |
