diff options
author | Micky <micheledevita2@gmail.com> | 2022-08-13 12:56:52 +0200 |
---|---|---|
committer | Micky <micheledevita2@gmail.com> | 2022-08-13 12:59:03 +0200 |
commit | 55dff09e933b3071ef088a227585ababf949812f (patch) | |
tree | 6610cf53aa23095efce5618b25266ac2533e5176 /thirdparty | |
parent | f2a61684143af02a8cbe7002645af817607f9bd6 (diff) |
Rename EditorPlugin.`*_PROPERTY_EDITOR_*` to `*_INSPECTOR_*`
The name "Inspector" has been adopted for years and is thus more familiar.
Diffstat (limited to 'thirdparty')
0 files changed, 0 insertions, 0 deletions