Not possible to change number of PDOs (Linux Mono)

[Qbicz]

When I open the .eds file, the number of PDOs jumps to 512 and this value is not editable ("No TX PDOs" in the screenshot, I only need 4 TPDO).
This makes using the EDSEditor very hard. also a few other fields in the PDO mapping tab are not editable and I would expect them to be.

Is this expected, or is it behaving strange only on Linux? I'm running the 0.8 release from Github with
mono EDSEditor.exe

Output I get:

mono EDSEditor.exe
Gtk-Message: 13:49:29.682: Failed to load module "canberra-gtk-module"
libpng warning: iCCP: known incorrect sRGB profile
libpng warning: iCCP: cHRM chunk does not match sRGB
libpng warning: iCCP: known incorrect sRGB profile
libpng warning: iCCP: cHRM chunk does not match sRGB
libpng warning: iCCP: known incorrect sRGB profile
libpng warning: iCCP: cHRM chunk does not match sRGB
libpng warning: iCCP: known incorrect sRGB profile
libpng warning: iCCP: cHRM chunk does not match sRGB
libpng warning: iCCP: known incorrect sRGB profile
libpng warning: iCCP: cHRM chunk does not match sRGB
libpng warning: iCCP: known incorrect sRGB profile
libpng warning: iCCP: cHRM chunk does not match sRGB
libpng warning: iCCP: known incorrect sRGB profile
libpng warning: iCCP: cHRM chunk does not match sRGB
Showing combo at {Width=100, Height=16} size {X=186,Y=18}

Setup:
EDSEditor version 0.8-0-gb60f4eb
Mono version: Mono JIT compiler version 6.8.0.105 (Debian 6.8.0.105+dfsg-2 Wed Feb 26 23:23:50 UTC 2020)
Ubuntu 20.04.1, kernel 5.8.0-43-generic

[Qbicz]

Ok, I just found that the number of TPDO is set to 512 only if NrOfTXPDO=0 in the [DeviceInfo] section. When I have set it manually (outside of the editor) to a non-zero value, the editor respects it.