Improve scripts

tools/find_unused.sh

@@ -6,7 +6,7 @@ cd data/gui
 l=""
 for i in $(find . -iname "*.stkgui"); do 
     s=$(basename $i)
-    x=$(find ../../src/states_screens -exec grep -H $s \{} \; | wc -l)
+    x=$(find ../../src/states_screens -type f -exec grep -H $s \{} \; | wc -l)
     echo -n "."
     if [ $x == "0" ]; then
         l="$l $i"

tools/whitespaces.py

@@ -39,7 +39,9 @@ def main():
                 if statistics:
                     lines_total += len(lines)
 
+                modified = False
                 for i in range(len(lines)):
+                    oldLine = lines[i]
                     # replacing tabs with four spaces
                     lines[i] = lines[i].replace("\t", "    ")
                     
@@ -48,6 +50,8 @@ def main():
                         if statistics:
                             if lines[i].lstrip().startswith("//"):
                                 lines_code += 1
+                    if not modified and oldLine != lines[i]:
+                        modified = True
                 src_file.close()
 
                 # writing back