Searched refs:OptionChangedSignal (Results 1 – 6 of 6) sorted by relevance
595 GetOptionsDB().OptionChangedSignal(option_name).connect( in ConditionalConnectOption()617 GetOptionsDB().OptionChangedSignal("video.fullscreen.width").connect( in ClientUI()619 GetOptionsDB().OptionChangedSignal("video.fullscreen.height").connect( in ClientUI()621 GetOptionsDB().OptionChangedSignal("video.windowed.width").connect( in ClientUI()623 GetOptionsDB().OptionChangedSignal("video.windowed.height").connect( in ClientUI()
2224 GetOptionsDB().OptionChangedSignal("video.fps.shown").connect( in FPSIndicator()
605 GetOptionsDB().OptionChangedSignal("ui.map.scale.legend.shown").connect( in CompleteConstruction()1423 GetOptionsDB().OptionChangedSignal("ui.map.zoom.slider.shown").connect( in CompleteConstruction()
303 GetOptionsDB().OptionChangedSignal("video.fps.shown").connect( in HumanClientApp()305 GetOptionsDB().OptionChangedSignal("video.fps.max").connect( in HumanClientApp()360 GetOptionsDB().OptionChangedSignal("resource.path").connect( in HumanClientApp()
213 OptionChangedSignalType& OptionChangedSignal(const std::string& option);
613 OptionsDB::OptionChangedSignalType& OptionsDB::OptionChangedSignal(const std::string& option) { in OptionChangedSignal() function in OptionsDB