$realm_settings

[Hide Methods] [Hide Variables]

Methods:

Root methods:
 ----   29 .core_realm_settings()
Public methods:
 ----   20 .format_map_position(value)
 ----   97 .get_realm_setting(name, definer, @args)
 ----  101 .parse_map_position(value)
 ----   11 .will_propagate()

Variables:

$root variables:
  manager: $realm_settings
  child_index: 1
  flags: ['variables, 'methods, 'code, 'core]
  created_on: 854028767
  inited: 1
  defined_settings: #[[ "propagate",
                        #[['get, ['get_realm_setting]],
                          ['parse, ['is_propagator]],
                          ['format, ['format_propagator]]]]]
  settings: #[["propagate", 0]]
  managed: [$realm_settings]
  credit: "Miroslav Silovic <silovic@zesoi.fer.hr>"