now gives converted files proper filename extensions
tree71b8150f3759d502b58b7a68164fd9927a0744f9
-rw-r--r-- 4085 command_executer.py
-rw-r--r-- 6525 commands.py
-rw-r--r-- 1198 commands.xml
-rw-r--r-- 6752 gui.py
-rw-r--r-- 1056 main.py
-rw-r--r-- 9171 mainwin.glade
-rw-r--r-- 1470 progresswin.glade