From 1c88da45aac818aabcf0596935810ef7ae2fa6c5 Mon Sep 17 00:00:00 2001 From: "Andrew J. Hesford" Date: Mon, 5 Jun 2023 13:40:15 -0400 Subject: [PATCH] python3-occ: remove obsolete patch --- srcpkgs/python3-occ/patches/python3.10.patch | 15 --------------- 1 file changed, 15 deletions(-) delete mode 100644 srcpkgs/python3-occ/patches/python3.10.patch diff --git a/srcpkgs/python3-occ/patches/python3.10.patch b/srcpkgs/python3-occ/patches/python3.10.patch deleted file mode 100644 index e192608fd3b..00000000000 --- a/srcpkgs/python3-occ/patches/python3.10.patch +++ /dev/null @@ -1,15 +0,0 @@ -diff --git a/src/Display/SimpleGui.py b/src/Display/SimpleGui.py -index 42705a82..6a274c16 100644 ---- a/src/Display/SimpleGui.py -+++ b/src/Display/SimpleGui.py -@@ -161,8 +161,8 @@ def init_display(backend_str: Optional[str]=None, - def centerOnScreen(self) -> None: - '''Centers the window on the screen.''' - resolution = QtWidgets.QApplication.desktop().screenGeometry() -- x = (resolution.width() - self.frameSize().width()) / 2 -- y = (resolution.height() - self.frameSize().height()) / 2 -+ x = (resolution.width() - self.frameSize().width()) // 2 -+ y = (resolution.height() - self.frameSize().height()) // 2 - self.move(x, y) - - def add_menu(self, menu_name: str) -> None: