From ba4442698657396c103af52000dd867754b41722 Mon Sep 17 00:00:00 2001
From: Mis012 <Michael.Srba@seznam.cz>
Date: Thu, 14 Sep 2023 09:46:37 +0200
Subject: [PATCH] api-impl/android/view/Display: add methods

---
 src/api-impl/android/view/Display.java | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/src/api-impl/android/view/Display.java b/src/api-impl/android/view/Display.java
index aed6d5bd..91cd6b83 100644
--- a/src/api-impl/android/view/Display.java
+++ b/src/api-impl/android/view/Display.java
@@ -14,6 +14,11 @@ public final class Display {
 		outMetrics.heightPixels = this.window_height;
 	}
 
+	public void getRealMetrics(DisplayMetrics outMetrics) {
+		getMetrics(outMetrics); // probably?
+	}
+
+
 	public int getWidth() {
 		return window_width;
 	}
@@ -22,6 +27,14 @@ public final class Display {
 		return window_height;
 	}
 
+	public int getRawWidth() {
+		return window_width; // what's the difference?
+	}
+
+	public int getRawHeight() {
+		return window_height; // what's the difference?
+	}
+
 	public int getRotation() {
 		return 0 /*ROTATION_0*/;
 	}