Fixed the problem with QScintillaWidget-based view and the undo feature not allowing the widget to be modified again (closes #292).