Merge tag '2.25.1' into develop

version 2.25.1 - 2021-04-02
- fix emission of inserted signal of dtkWidgetsController
3 jobs for feature/highlight_selected_menu in 0 seconds (queued for 7 seconds)
Status Job ID Name Coverage
  External
passed jenkins-linux

00:09:20

passed jenkins-macos

00:06:29

passed jenkins-windows

00:13:03