UserSettings

object UserSettings

Types

Link copied to clipboard
data class ServiceProvider(hostname: String, port: Int, https: Boolean)

Functions

Link copied to clipboard
fun save()

Properties

Link copied to clipboard
var openSaveDir: Path
Link copied to clipboard
var serviceProvider: UserSettings.ServiceProvider
Link copied to clipboard