var preferences__manager_8c =
[
    [ "get_configuration_directory", "preferences__manager_8c.html#abce9eefcab8ad16d2cb25561995d84fd", null ],
    [ "get_preferences_filename", "preferences__manager_8c.html#afa53a6052d4921204db9074d8e9dd90f", null ],
    [ "load_preferences", "preferences__manager_8c.html#a0336825fccb68275b8fe986987fa2940", null ],
    [ "pm_free", "preferences__manager_8c.html#a3f9bd0cfb4814fa8bd87a0d2ce42b7bc", null ],
    [ "pm_register_range_preference", "preferences__manager_8c.html#af8f5b905b9c22bed48658f4a2ac9c1ab", null ],
    [ "pm_register_spinner_int_preference", "preferences__manager_8c.html#acbef2e5bdaa27200323e8c5cd6fd6fde", null ],
    [ "pm_state_new", "preferences__manager_8c.html#a0b76b48fba1fbd43ec6370d3eb1dc76c", null ],
    [ "save_preferences", "preferences__manager_8c.html#a536d54b4e4c35c339445af307aa447bd", null ]
];