Drop.Settings.Settings – drop-1.0 Reference Manual
Packages
drop-1.0
Drop
Settings
server_enabled
server_name
Settings
get_display_name
Settings
Description:
public
Settings
()
Creates a new Settings interface.