ToscaWidgets2 widget for ACE, a JavaScript-based source code editor