# HG changeset patch
# User bsmith@81767d24-ef19-dc11-ae90-00e081727c95
# Date 1666082502 0
# Node ID 6790bea27685bc4c591b0beba1ae04c94cb92f5c
# Parent  ca3cc0e1c5632498a5ef6afe9e63ce0c2eebd970
Android: Fix warning about deprecated overrided function after upgrading to
SDK API 33.

diff -r ca3cc0e1c563 -r 6790bea27685 android/DWindows.kt
--- a/android/DWindows.kt	Tue Oct 18 06:27:22 2022 +0000
+++ b/android/DWindows.kt	Tue Oct 18 08:41:42 2022 +0000
@@ -2811,6 +2811,7 @@
         return false
     }
 
+    @Deprecated("Deprecated in Java")
     override fun onBackPressed() {
         if(windowLayout != null) {
             val adapter: DWTabViewPagerAdapter = windowLayout!!.adapter as DWTabViewPagerAdapter