diff options
author | RĂ©mi Verschelde <remi@verschelde.fr> | 2021-07-29 09:57:33 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-07-29 09:57:33 +0200 |
commit | 5ece1bd1360f2a3849e7ff493d6aee53bc502a3e (patch) | |
tree | 6effea16666ebb326a5dac9659c2840849c1e6e3 /editor/editor_data.h | |
parent | 48857194b360dabdaac7cd4c9c6714546ca15aa1 (diff) | |
parent | 80e4c8626d1ff648cf8ed1263cb24954f9fc1ccf (diff) |
Merge pull request #50994 from timothyqiu/open-docs-button
Disable open doc button when not inspecting anything
Diffstat (limited to 'editor/editor_data.h')
0 files changed, 0 insertions, 0 deletions