OpenSCAD: [skip ci] disable rich text in OpenSCAD widget to avoid weird behaviour when copying code from an HTML page

src/Mod/OpenSCAD/OpenSCADCommands.py

@@ -328,6 +328,7 @@ class AddSCADWidget(QtGui.QWidget):
     def __init__(self,*args):
         QtGui.QWidget.__init__(self,*args)
         self.textEdit=QtGui.QTextEdit()
+        self.textEdit.setAcceptRichText(False)
         self.buttonadd = QtGui.QPushButton(translate('OpenSCAD','Add'))
         self.buttonclear = QtGui.QPushButton(translate('OpenSCAD','Clear'))
         self.checkboxmesh = QtGui.QCheckBox(translate('OpenSCAD','as Mesh'))