ID 272563 - BACKGROUND_EXPORT and ENABLE_FULL_PATCH BLEED may clash in some Mari versions

Problem summary
Prior to 3.2v1, BACKGROUND_EXPORT and ENABLE_FULL_PATCH BLEED may clash.

Customer reported version
3.1v3
Customer reported platform
fedora

Steps to reproduce

1) Open Mari 3.1v3

2) In the Python Console, run the following script:

print mari.Image.DEFAULT_OPTIONS | mari.Image.BACKGROUND_EXPORT | mari.Image.ENABLE_FULL_PATCH_BLEEDprint mari.Image.DEFAULT_OPTIONS | mari.Image.ENABLE_FULL_PATCH_BLEED | mari.Image.BACKGROUND_EXPORT

3) You will see that the values print incorrectly:

>>> print mari.Image.DEFAULT_OPTIONS | mari.Image.BACKGROUND_EXPORT | mari.Image.ENABLE_FULL_PATCH_BLEED... print mari.Image.DEFAULT_OPTIONS | mari.Image.ENABLE_FULL_PATCH_BLEED | mari.Image.BACKGROUND_EXPORT39

Workaround
You can work-around the issue by enforcing "int" type:

option = int(mari.Image.DEFAULT_OPTIONS) | int(mari.Image.BACKGROUND_EXPORT) | int(mari.Image.ENABLE_FULL_PATCH_BLEED)


Resolved
This bug has been resolved as of Mari 3.2v1 where the values from the same script return correctly:

>>> print mari.Image.DEFAULT_OPTIONS | mari.Image.BACKGROUND_EXPORT | mari.Image.ENABLE_FULL_PATCH_BLEED... print mari.Image.DEFAULT_OPTIONS | mari.Image.ENABLE_FULL_PATCH_BLEED | mari.Image.BACKGROUND_EXPORT1010

Reproduced by support
Win 7 - 3.1v3, 3.1v1, 3.0v4, 3.0v1
OSX 10.12 - 3.1v3, 3.1v1, 3.0v4, 3.0v1
CentOS6 - 3.1v3, 3.1v1

Regression
2.6v5

Expected behaviour
The values should print at 10, 10.

Actual behaviour
The values actually print incorrectly at 3, 9.