Mise à jour terminée. Pour connaître les apports de la version 13.8.4 par rapport à notre ancienne version vous pouvez lire les "Release Notes" suivantes :
https://about.gitlab.com/releases/2021/02/11/security-release-gitlab-13-8-4-released/
https://about.gitlab.com/releases/2021/02/05/gitlab-13-8-3-released/

Commit 43211b86 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Add some shortcuts to focus the goal tree view in the IDE.

Typing Esc or entering an empty command move the focus from the command
entry box to the goal tree view.
parent b3eaa866
......@@ -1053,6 +1053,9 @@ let _ =
| None -> true
| Some s ->
(command_entry#set_text s; true))
| k when k = GdkKeysyms._Escape ->
goals_view#misc#grab_focus ();
true
| _ -> false
)
......@@ -1253,9 +1256,15 @@ let interp cmd =
clear_command_entry ()
let (_ : GtkSignal.id) =
command_entry#connect#activate
~callback:(fun () -> add_command list_commands command_entry#text;
interp command_entry#text)
let callback () =
let cmd = command_entry#text in
if cmd = "" then
goals_view#misc#grab_focus ()
else begin
add_command list_commands cmd;
interp cmd
end in
command_entry#connect#activate ~callback
(* remove the helper text from the command entry the first time it gets the focus *)
let () =
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment