Properly have .log file extension for temp log files
Created by: eseliger
Closes #308 (closed)
before, the file ending wouldn't be .log
, causing some terminals to not know how to open that file when clicking on it (hence, always have to select my fav editor, because the ending will always be different and cannot be remembered.)
Before and after: