Added file encoding options for the GUI