no message
+ flush selection of 'ctrl + mouse over'; but last selected word stay selected yet
Merge branch 'help_in_docked_panel' into DEV

Conflicts:
	jentos_ide.pro.user