From f94c65470a72c00c9728b6864f05ffcec4d4e17a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Vladim=C3=ADr=20Vondru=C5=A1?= <mosra@centrum.cz>
Date: Sat, 25 Aug 2018 16:06:00 +0200
Subject: [PATCH] Platform: provide
 AndroidApplication::ViewportEvent::framebufferSize().

Same as windowSize(), it's there now just to make the ported examples
compile at the moment. Will need to be replaced with proper
implementation later.
---
 src/Magnum/Platform/AndroidApplication.h | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/src/Magnum/Platform/AndroidApplication.h b/src/Magnum/Platform/AndroidApplication.h
index e99e09fa2..8f4b3d203 100644
--- a/src/Magnum/Platform/AndroidApplication.h
+++ b/src/Magnum/Platform/AndroidApplication.h
@@ -526,6 +526,14 @@ class AndroidApplication::ViewportEvent {
          */
         Vector2i windowSize() const { return _windowSize; }
 
+        /**
+         * @brief Framebuffer size
+         *
+         * The same as @ref windowSize().
+         * @todo this might not be true, implement properly!
+         */
+        Vector2i framebufferSize() const { return _windowSize; }
+
     private:
         friend AndroidApplication;