Implement set_window_size_and_position_hook on Android

* java/org/gnu/emacs/EmacsWindow.java (moveResizeWindow): New
method, which alters all of the bounding box of a window at
once.

* src/android.c (android_init_emacs_window): Load method
`move_resize_window'.
(android_move_resize_window): Invoke this method, rather than a
sequence of operations that will produce two ConfigureNotify
events.

* src/androidterm.c (android_set_window_size_and_position_1)
(android_set_window_size_and_position): New functions; ported
from X.
(android_create_terminal): Register the same.

1 files changed, 44 insertions, 0 deletions

diff --git a/src/androidterm.c b/src/androidterm.c
index d9830e5cd08..7342b8d2dae 100644
--- a/src/androidterm.c
+++ b/src/androidterm.c
@@ -2334,6 +2334,48 @@ android_set_window_size (struct frame *f, bool change_gravity,
   do_pending_window_change (false);
 }
 
+static void
+android_set_window_size_and_position_1 (struct frame *f, int width, int height)
+{
+  int x = f->left_pos;
+  int y = f->top_pos;
+
+  android_move_resize_window (FRAME_ANDROID_WINDOW (f), x, y, width, height);
+
+  SET_FRAME_GARBAGED (f);
+
+  if (FRAME_VISIBLE_P (f))
+    android_wait_for_event (f, ANDROID_CONFIGURE_NOTIFY);
+  else
+    /* Call adjust_frame_size right.  It might be tempting to clear out
+       f->new_width and f->new_height here.  */
+    adjust_frame_size (f, FRAME_PIXEL_TO_TEXT_WIDTH (f, width),
+                       FRAME_PIXEL_TO_TEXT_HEIGHT (f, height),
+                       5, 0, Qx_set_window_size_1);
+}
+
+void
+android_set_window_size_and_position (struct frame *f, int width, int height)
+{
+  block_input ();
+
+  android_set_window_size_and_position_1 (f, width, height);
+  android_clear_under_internal_border (f);
+
+  /* If cursor was outside the new size, mark it as off.  */
+  mark_window_cursors_off (XWINDOW (FRAME_ROOT_WINDOW (f)));
+
+  /* Clear out any recollection of where the mouse highlighting was,
+     since it might be in a place that's outside the new frame size.
+     Actually checking whether it is outside is a pain in the neck,
+     so don't try--just let the highlighting be done afresh with new size.  */
+  cancel_mouse_face (f);
+
+  unblock_input ();
+
+  do_pending_window_change (false);
+}
+
 /* Calculate the absolute position in frame F
    from its current recorded position values and gravity.  */
 
@@ -6705,6 +6747,8 @@ android_create_terminal (struct android_display_info *dpyinfo)
   terminal->fullscreen_hook = android_fullscreen_hook;
   terminal->iconify_frame_hook = android_iconify_frame;
   terminal->set_window_size_hook = android_set_window_size;
+  terminal->set_window_size_and_position_hook
+    = android_set_window_size_and_position;
   terminal->set_frame_offset_hook = android_set_offset;
   terminal->set_frame_alpha_hook = android_set_alpha;
   terminal->set_new_font_hook = android_new_font;