Gallery edits not saving

I’m using 3.5 RC1, with the new media management system.

When I insert a gallery using the new media system, it inserts a gallery shortcode that uses the format [gallery ids="1234,5678"]. However, this fails to select only those attachments, including all the post attachments in the gallery. If I press the FG “insert gallery” button, I get a shortcode that uses the format [gallery include="1234,5678"], which works.

However, if I’m in the visual editor, click on the edit gallery button, and delete some of the images from the gallery, the result is something like [gallery include="1234,5678" ids="5678"], which displays both of those attachments, ignoring the edits.

In order to change the gallery from the visual editor, I need to select the gallery in question – but not open it! – and then check / uncheck the images I want in the FG box. In contrast, the process works for altering the number of columns in a particular gallery; it’s available in the gallery’s own editor, and updates the shortcode appropriately. Unfortunately, if I update the gallery generated by [gallery columns="5" include="4130,4131,4138,4137,4139"] this way, I get [gallery columns="3" include="4130,4131,4138,4137,4139" ids="4139,4138,4137,4131,4130"].

Is there a way we can better integrate these selection functions? Perhaps switch to using “ids” instead of “include,” as WP seems to be doing? (Though I’d much prefer the latter.)

http://wordpress.org/extend/plugins/file-gallery/