var class_settings_widget =
[
    [ "SettingsWidget", "class_settings_widget.html#ad6b264d0455806fd3761a7f0e7b75dfd", null ],
    [ "~SettingsWidget", "class_settings_widget.html#ad8e7579db1d31cdf017502f82d3e9da1", null ],
    [ "viewSelectionChanged", "class_settings_widget.html#afb058e4396758424444f6e2fd4e02352", null ]
];