binaryninja.downloadprovider.Settings

class Settings(registry_id='default')[source]
__init__(registry_id='default')[source]

x.__init__(…) initializes x; see help(type(x)) for signature

Methods

__init__([registry_id]) x.__init__(…) initializes x; see help(type(x)) for signature
copy_value(dest_registry_id, id)
get_bool(id[, view])
get_bool_with_scope(id[, view, scope])
get_double(id[, view])
get_double_with_scope(id[, view, scope])
get_integer(id[, view])
get_integer_with_scope(id[, view, scope])
get_schema()
get_string(id[, view])
get_string_list(id[, view])
get_string_list_with_scope(id[, view, scope])
get_string_with_scope(id[, view, scope])
register_group(group, title) register_group registers a group for use with this Settings registry.
register_setting(id, properties) register_setting registers a new setting with this Settings registry.
reset(id[, view, scope])
reset_all([view, scope])
set_bool(id, value[, view, scope])
set_double(id, value[, view, scope])
set_integer(id, value[, view, scope])
set_string(id, value[, view, scope])
set_string_list(id, value[, view, scope])
update_property(id, setting_property)