Gui: convert indentations to spaces

2023-01-23 13:52:19 +00:00
parent 62974cd4d5
commit 50a0fd6777
11 changed files with 816 additions and 816 deletions
--- a/src/Gui/SelectionFilter.cpp
+++ b/src/Gui/SelectionFilter.cpp
@@ -348,7 +348,7 @@ Node_Block *TopBlock=nullptr;

 // error func
 void yyerror(char *errorinfo)
-	{  ActFilter->addError(errorinfo);  }
+    {  ActFilter->addError(errorinfo);  }


 // for VC9 (isatty and fileno not supported anymore)