TypeError: index 0 has type 'float' but 'int' is expected

It seems that the recent version of python I use is less permissive than it used to be. I got errors as indicated in title

I fixed 3 lines in libs/main.py to make it work again

126c126
<         self.resize(3 * rect.width() / 4, 3 * rect.height() / 4)
---
>         self.resize(int(3 * rect.width() / 4), int(3 * rect.height() / 4))
177c177
<         self.hsplitter.setSizes([rect.width() / 3, rect.width() / 2])
---
>         self.hsplitter.setSizes([int(rect.width() / 3), int(rect.width() / 2)])
183c183
<         self.pluginsWidget.setMinimumHeight(1.5 * utils.STYLE['PM_ToolBarIconSize'])
---
>         self.pluginsWidget.setMinimumHeight(int(1.5 * utils.STYLE['PM_ToolBarIconSize']))

hopefully this is enough...

btw I'm using : Python 3.10.7 (main, Sep 8 2022, 14:34:29) [GCC 12.2.0] on linux

cheers dom