diff options
| author | Po Lu | 2023-08-27 09:24:01 +0800 |
|---|---|---|
| committer | Po Lu | 2023-08-27 09:24:01 +0800 |
| commit | 55dd110cf3356cb33a1ca9a37c894eba388779f6 (patch) | |
| tree | 22d8eafb5af09cffa298c1ce37729a00b9e650fd /java | |
| parent | ecb1e6c71323127b0b6d171861376950d28073c0 (diff) | |
| download | emacs-55dd110cf3356cb33a1ca9a37c894eba388779f6.tar.gz emacs-55dd110cf3356cb33a1ca9a37c894eba388779f6.zip | |
Update Android port
* java/org/gnu/emacs/EmacsView.java (onLayout): Provide for
occasions where the saved measured dimensions differ from that
saved by the view.
Diffstat (limited to 'java')
| -rw-r--r-- | java/org/gnu/emacs/EmacsView.java | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/java/org/gnu/emacs/EmacsView.java b/java/org/gnu/emacs/EmacsView.java index 12d8ff4da56..f964f096d88 100644 --- a/java/org/gnu/emacs/EmacsView.java +++ b/java/org/gnu/emacs/EmacsView.java | |||
| @@ -330,11 +330,17 @@ public final class EmacsView extends ViewGroup | |||
| 330 | measuredHeight = bottom - top; | 330 | measuredHeight = bottom - top; |
| 331 | } | 331 | } |
| 332 | 332 | ||
| 333 | /* If oldMeasuredHeight or oldMeasuredWidth are wrong, set changed | ||
| 334 | to true as well. */ | ||
| 335 | |||
| 336 | if (right - left != oldMeasuredWidth | ||
| 337 | || bottom - top != oldMeasuredHeight) | ||
| 338 | changed = true; | ||
| 339 | |||
| 333 | /* Dirty the back buffer if the layout change resulted in the view | 340 | /* Dirty the back buffer if the layout change resulted in the view |
| 334 | being resized. */ | 341 | being resized. */ |
| 335 | 342 | ||
| 336 | if (changed && (right - left != oldMeasuredWidth | 343 | if (changed) |
| 337 | || bottom - top != oldMeasuredHeight)) | ||
| 338 | { | 344 | { |
| 339 | explicitlyDirtyBitmap (); | 345 | explicitlyDirtyBitmap (); |
| 340 | 346 | ||