Divarea + Widget breaks source switch

[DrColossos]

Use CKEditor with divarea plugin and insert a widget. Add some regular text somewhere else (not inside the widget markup). Click into the "regular" text and switch to "source". The button stays active and you can switch back.

Now switch back into WYSIWIG view mode and click somewhere into the Widget area. Switch back into "source". You cannot switch back into WYSIWIG mode, since the "source" button is disabled. A reload of the page is the only way to get back into the WYSIWIG view.

This happens in latest FF and Chrome on Kubuntu. Works as expected when not using "divarea"