#include "Options.hh" #include #include "libgnome/gnome-config.h" int Options::getIntOption(std::string section, std::string key) { int result = -1; Gnome::Client* client = Gnome::Client::master_client(); if (client != 0) { std::string config_prefix = client->get_config_prefix(); config_prefix += section; gnome_config_push_prefix(std::string(config_prefix + "/").c_str()); result = gnome_config_get_int(key.c_str()); gnome_config_pop_prefix(); } return result; }