diff --git a/ui/common/src/main/groovy/com/github/thetric/iliasdownloader/ui/common/prefs/UserPreferenceService.groovy b/ui/common/src/main/groovy/com/github/thetric/iliasdownloader/ui/common/prefs/UserPreferenceService.groovy index b80d577..8ac7ad3 100644 --- a/ui/common/src/main/groovy/com/github/thetric/iliasdownloader/ui/common/prefs/UserPreferenceService.groovy +++ b/ui/common/src/main/groovy/com/github/thetric/iliasdownloader/ui/common/prefs/UserPreferenceService.groovy @@ -2,6 +2,8 @@ package com.github.thetric.iliasdownloader.ui.common.prefs import groovy.transform.CompileStatic +import java.nio.file.Path + /** * Saves and loads {@link UserPreferenceService}s. */ @@ -21,4 +23,6 @@ interface UserPreferenceService { * @throws IOException */ void saveUserPreferences(UserPreferences userPreferences) throws IOException + + Path getSettingsFile() }