diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-08-06 00:39:30 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-08-06 00:39:30 +0200 |
| commit | c80540f9a20b45d107b9bed1e749571a83492337 (patch) | |
| tree | 518c84ea19d0a1b7e52edd651ebf1bc02a6f8d58 /doc/classes/Theme.xml | |
| parent | dc04050cfd187aed844654fed52b6cfcafa099c0 (diff) | |
| parent | c86cceb423b2d3fda869b689615f39ba718561fe (diff) | |
Merge pull request #63700 from YeldhamDev/no_methods_to_filter_pal
Hide method filter bar when selecting a doc in the Script editor
Diffstat (limited to 'doc/classes/Theme.xml')
0 files changed, 0 insertions, 0 deletions