Searched refs:arg_is_declared (Results 1 – 6 of 6) sorted by relevance
94 CmdLine::arg_is_declared("biblio") && in terminate()211 CmdLine::arg_is_declared("biblio") && in cite()
168 CmdLine::arg_is_declared("sys:stats") && in terminate()
284 if(CmdLine::arg_is_declared(argname)) { in parse_config_file()601 if(arg_is_declared("profile")) { in parse()691 CmdLine::arg_is_declared("nl:CUDA") && in parse()771 bool arg_is_declared(const std::string& name) { in arg_is_declared() function
226 bool GEOGRAM_API arg_is_declared(const std::string& name);
187 if(CmdLine::arg_is_declared("gui:font_size")) { in start()261 if(CmdLine::arg_is_declared("gui:font_size")) { in set_font_size()414 CmdLine::arg_is_declared("gui:viewports") && in ImGui_initialize()423 CmdLine::arg_is_declared("gui:keyboard_nav") && in ImGui_initialize()824 if(CmdLine::arg_is_declared("gui:font_size")) { in one_frame()
187 if(CmdLine::arg_is_declared("gui:font_size")) {261 if(CmdLine::arg_is_declared("gui:font_size")) { 813 if(CmdLine::arg_is_declared("gui:font_size")) {