Skip to content
Back to pull request #102608

Script Editor: Add option to disable documentation tooltips #52081

Sign in to view logs

Script Editor: Add option to disable documentation tooltips

Script Editor: Add option to disable documentation tooltips #52081

🐧 Linux  /  Editor with doubles and GCC sanitizers (target=editor, tests=yes, dev_build=yes, scu_build=yes, precision=double, use_asan=yes, use_ubsan=yes, linker=gold)

🐧 Linux / Editor with doubles and GCC sanitizers (target=editor, tests=yes, dev_build=yes, scu_build=yes, precision=double, use_asan=yes, use_ubsan=yes, linker=gold)
succeeded Feb 9, 2025 in 13m 37s