diff options
| author | Max Hilbrunner <mhilbrunner@users.noreply.github.com> | 2018-05-08 07:00:45 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-05-08 07:00:45 +0200 |
| commit | af128f6d39b06779b094f409393c9640b400e2d7 (patch) | |
| tree | 04f97168d999f5b3292f402d1435ca21fbcf5c43 /core/os | |
| parent | c32b24da70ebf345a2c6aa4092ee7b96c1a2a6ac (diff) | |
| parent | c45f44d85635a1d16a93c00cd8cb17f60dfa6336 (diff) | |
Merge pull request #16573 from StateOff/more_console_debugging
Local debugging fix & extensions
Diffstat (limited to 'core/os')
| -rw-r--r-- | core/os/os.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/core/os/os.h b/core/os/os.h index 943c0498f1..f6404468b1 100644 --- a/core/os/os.h +++ b/core/os/os.h @@ -320,6 +320,7 @@ public: virtual void disable_crash_handler() {} virtual bool is_disable_crash_handler() const { return false; } + virtual void initialize_debugging() {} enum CursorShape { CURSOR_ARROW, |