Method setIndentTab

MiniZincIDE/codeeditor.h:66–66

    void setTheme(const Theme& t, bool d);
    void setIndentSize(int size);
    void setIndentTab(bool useTabs0) { useTabs = useTabs0; }
    Highlighter& getHighlighter();
    void checkFile(const QVector<MiniZincError>& errors);
    void showDebugInfo(bool show);