Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Repository
why3
src
ide
why3ide.ml
Find file
Blame
History
Permalink
ide - fix
#293
give the focus on new tabs that are added to the ide
· 36b6a0e4
Sylvain Dailler
authored
Apr 01, 2019
36b6a0e4