Merge branch 'gs_531' into 'master'

Fix Ctrl+V for interactive consoles

See merge request eng/ide/gnatstudio!863

Author: ogorodnik

kernel/src/interactive_consoles.adb

@@ -2034,7 +2034,13 @@ package body Interactive_Consoles is
          --  We also execute empty commands, since they might be relevant
          --  in some contexts (python for instance)
          if Command /= null and then Command.all /= "" then
-            Get_End_Iter (Console.Buffer, Last_Iter);
+            Get_Iter_At_Mark
+              (Console.Buffer, Last_Iter, Get_Insert (Console.Buffer));
+
+            if Last_Iter = Null_Text_Iter then
+               Get_End_Iter (Console.Buffer, Last_Iter);
+            end if;
+
             Insert (Console.Buffer, Last_Iter, Command.all);
 
             --  Execute only if Command ends with a Line Feed.

testsuite/tests/gs.510.paste_to_console/test.py

@@ -23,3 +23,15 @@ def run_test():
         ">>> Put_Line",
         "Wrong Paste",
     )
+    
+    # test insert at the cursor location
+    send_key_event(GDK_LEFT)
+    yield wait_idle()
+    send_key_event(ord("v"), control=True)
+    yield wait_idle()
+    gps_assert(
+        GPS.Console("Python").get_text(),
+        ">>> Put_LinPut_Linee",
+        "Wrong Paste",
+    )
+