diff options
author | RĂ©mi Verschelde <remi@verschelde.fr> | 2022-01-20 12:09:45 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-01-20 12:09:45 +0100 |
commit | b6cb3668847379149b879d0633e8196900a845b7 (patch) | |
tree | cd73656d30a276904bc87a4a3c59e8c9643847ad /platform/android/display_server_android.h | |
parent | 7057d26343a8d8b7e743be48cd9207272ce6a8c6 (diff) | |
parent | 314f309035c9d50b41720e02550f31f89751fce0 (diff) |
Merge pull request #56949 from timothyqiu/has-clipboard
Diffstat (limited to 'platform/android/display_server_android.h')
-rw-r--r-- | platform/android/display_server_android.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/platform/android/display_server_android.h b/platform/android/display_server_android.h index 8538b6e660..6aadc7e1a9 100644 --- a/platform/android/display_server_android.h +++ b/platform/android/display_server_android.h @@ -93,6 +93,7 @@ public: virtual void clipboard_set(const String &p_text) override; virtual String clipboard_get() const override; + virtual bool clipboard_has() const override; virtual void screen_set_keep_on(bool p_enable) override; virtual bool screen_is_kept_on() const override; |