diff options
| author | Juan Linietsky <juan@godotengine.org> | 2019-03-03 17:12:19 -0300 |
|---|---|---|
| committer | Juan Linietsky <juan@godotengine.org> | 2019-03-03 17:12:19 -0300 |
| commit | ae886a6f32b3cacc342ab3c4b52fa5e09d91fa49 (patch) | |
| tree | 23549ab3d7c080f100925ab576ba21e5d0e71b5b /core/os/os.h | |
| parent | 4d875f115cbc661c9e631ba2f9fc9fd95366ff52 (diff) | |
Ability to keep pumping messages while being debugged, may be a solution for #21431
Diffstat (limited to 'core/os/os.h')
| -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 d6541034fd..30cfb32b89 100644 --- a/core/os/os.h +++ b/core/os/os.h @@ -518,6 +518,7 @@ public: bool is_restart_on_exit_set() const; List<String> get_restart_on_exit_arguments() const; + virtual void process_and_drop_events() { } OS(); virtual ~OS(); }; |