HDMI CEC Config.txt no longer working properly

Gents,

Has something been changed in a recent release with the handling of:

hdmi_force_hotplug=1
hdmi_edid_file=1

Unfortunatley, my Raspberry Pi 2 => Sony AV amp => Panasonic plasma setup only works with

hdmi_drive=2
hdmi_force_hotplug=1

(it breaks CEC handling with the hdmi_edid_file=1 setting regardless of whether there’s a valid edid.dat in /boot).

The situation now appears to be that in My OSMC > Pi Config, it is no longer possible to turn off ‘store_hdmi_to_file’ without having ‘hdmi_force_hotplug=1’ automatically removed from config.txt (whether OK or Cancel is selected).

If ‘store_hdmi_to_file’ is turned on, then ‘hdmi_force_hotplug=1’ is automatically added.

So now, I can’t use the Pi Config screen because it corrupts my force_hotplug / no edid.dat configuration.

Note: there is also a bug in the config.txt editor whereby each time the editor is opened, duplicate ‘hdmi_force_hotplug=1’ commands are added when ‘store_hdmi_to_file’ is turned on.