Frontend: Settings window: Fix: For the workdirectory, use GtkFileChooser.get_filename() instead of GtkFileChooser.get_current_folder()
The second one returns the folder in which is the file chooser instead of the selected file, which makes the file chooser much less intuitive to use.

Signed-off-by: Jerome Flesch <jflesch@gmail.com>