From c0d68b4e1a6c8f6ed4e4f5d0147dc0d83f5c889c Mon Sep 17 00:00:00 2001
From: Dexter Gaon-Shatford <dexter@gaonshatford.ca>
Date: Wed, 10 Nov 2021 17:11:57 -0500
Subject: [PATCH] Fix another implicit float->int, not supported in Python 3.10

---
 frescobaldi_app/viewmanager.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/frescobaldi_app/viewmanager.py b/frescobaldi_app/viewmanager.py
index e1294c918..046c70dfc 100644
--- a/frescobaldi_app/viewmanager.py
+++ b/frescobaldi_app/viewmanager.py
@@ -332,7 +332,7 @@ def splitViewSpace(self, viewspace, orientation):
             splitter.setOrientation(orientation)
             size = splitter.sizes()[0]
             splitter.addWidget(newspace)
-            splitter.setSizes([size / 2, size / 2])
+            splitter.setSizes([size // 2, size // 2])
         elif splitter.orientation() == orientation:
             index = splitter.indexOf(viewspace)
             splitter.insertWidget(index + 1, newspace)
@@ -346,7 +346,7 @@ def splitViewSpace(self, viewspace, orientation):
             splitter.setSizes(sizes)
             size = newsplitter.sizes()[0]
             newsplitter.addWidget(newspace)
-            newsplitter.setSizes([size / 2, size / 2])
+            newsplitter.setSizes([size // 2, size // 2])
         self._viewSpaces.insert(0, newspace)
         newspace.showDocument(viewspace.document())
         if active: