Libraries/pyqode.widgets: updated for version 1.2.2