We’re using the Autocompletion Info pane to show details about each completion and Help of each info when we hover the mouse on each info. We have
closeOnUnfocus set to be true and then set not to lose focus in the editor when we open the pane and help. The problem is that when the user tries to drag and select text in the help to copy, it is impossible because we set the focus on the editor and it makes not be able to focus to the text in help. Is there any way to make the widget be copyable?