// Saves the settings to config file.
public static void saveSettings(Settings settings) {
config.setProperty("vlclocation", settings.getVlcLocation());
config.setProperty("thumbnailcount", settings.getThumbnailCount());
config.setProperty("thumbnailwidth", settings.getThumbnailWidth());
config.setProperty("thumbnailhighlightcolor", settings.getThumbnailHighlightColor());
config.setProperty("folders", String.join("|", settings.getFolders()));
try {
config.save("vidor.config");
} catch (ConfigurationException ex) {
ex.printStackTrace();
}
}
