Bug Description:

Hi,
When I press on Pin Agent and choose one from the list, it adds it to the input text but does not add a space after. The user needs to add space before start typing.

Additional Information

• Operating System: Mac
• Theia Version: lastest master