diff options
author | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2022-10-03 15:21:25 +0200 |
---|---|---|
committer | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2022-11-14 14:55:22 +0100 |
commit | d568b25e366cd99fa7479e054ad4f7fcb5079501 (patch) | |
tree | 2964174af318ac40df00283b196db19b41e51db4 /doc/classes/ThemeDB.xml | |
parent | 471c42ee1fe2c84b4f248e7194a2b10b562ff508 (diff) |
[Editor] Better expose EditorDebuggerPlugin.
Now splitted into two classes:
- EditorDebuggerPlugin (RefCounted).
- EditorDebuggerSession (abstract).
This allows the EditorPlugin to be in control of the debugger plugin
lifecycle, be notified when sessions are created, and customize each of
them independently.
We should slowly transition the various profilers and captures in
ScriptEditorDebugger to their own plugins, and decouple
ScriptEditorDebugger from it's UI part (making it the "real"
EditorDebuggerSession potentially dropping the wrappers).
Diffstat (limited to 'doc/classes/ThemeDB.xml')
0 files changed, 0 insertions, 0 deletions