Hi Eric,
I will check this, but we had some users who reported problems with these two editors opened simultaneously shortly before releasing the last update. So we blocked this for security reasons.
I will check this, but I won’t make any promises.
Regards
Markus