Settings
constructor(globalSettings: GlobalEnvironmentSettings, parent: JFrame, latestVersion: String = "", onUpdate: (Set<SettingsCategory>) -> Unit = {})
Construct a SettingsView.
Parameters
global
The environment's GlobalEnvironmentSettings window.
parent
The parent JFrame that owns this SettingsView.
latest
The latest Avail Standard Library version or an empty string if not known.