[PythonEditor] Make converting tabs to spaces the default

src/Gui/TextEdit.h

@@ -118,6 +118,22 @@ private:
     friend class SyntaxHighlighter;
 };
 
+/** subclass of TextEditor that serves as base class for the
+ *  python editor and the python console where we handle
+ *  the tab key conversion to spaces, depending on user settings
+ */
+class GuiExport PythonTextEditor : public TextEditor
+{
+    Q_OBJECT
+public:
+    explicit PythonTextEditor(QWidget *parent = nullptr);
+    ~PythonTextEditor() override;
+protected:
+    void keyPressEvent(QKeyEvent *) override;
+
+};
+
+
 class LineMarker : public QWidget
 {
     Q_OBJECT