High DPI Mode in Halion Sonic 3.4 (Dorico Pro 3.1.10)

Dear Dorico community,

since I updated to Dorico 3.1.10, I can no longer activate Hi DPI mode in Halion Sonic 3.4 (or also in Halion Sonic SE 3.4). It is grayed out. (see image)

I use two 4k UHD monitors.

Does anyone have a solution for it, or am I the only one who can’t.

I’m grateful for any solution.

Halion SE has been HiDPI aware since 3.2.15. It automatically scales. I never noticed that checkbox.