diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-09-11 15:53:50 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2018-09-11 16:09:19 +0200 |
| commit | 45b609f46a1b17ecfd9bc91061ef3a8a1ba2e4e8 (patch) | |
| tree | 9487171772c27b1a7b2ad0ec6097cdf925a59b1c /platform/android/java/gradle | |
| parent | 4c37ea59be1e85b397c48577857b783db10f22d5 (diff) | |
Replace last occurrences of PropertyEditor by EditorInspector
Updates the following plugins:
- ConnectionsDialog
- ScriptEditorDebugger
- ItemListEditorPlugin
Also drop now unnecessary compatibility methods.
Diffstat (limited to 'platform/android/java/gradle')
0 files changed, 0 insertions, 0 deletions