// 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(); } }