Hello,
you should change the forum section of your topic from MbedOS to Mbed Studio. You can do that when hit the pen icon close to the title of your topic, I think.
It is related to Mbed Studio and not to MbedOS also it must be solved from side of MbedStudio team.
BR, Jan