Bug 374451

Created attachment 103139 [details]
patch

If you create a tag (e.g. test), it will be available in the top combo box, and also in the pop-up widget. You can use the combo box to filter the tags, or the pop-up to add a brush to the tag you created.

When you delete the tag, it gets removed from the combo box correctly. In other words, after you delete the tag, by expanding the options in the top combo box, the tag deleted will be gone for good.

However, the tag will be still available if you use the pop-up widget. Here's a GIF illustrating it: http://i.imgur.com/zJWOOgE.gif

It gets more interesting. If you do use that value, as you removed it from the combo box, it will be re-created, and thus you will end up with duplicated values in your pop-up widget, but unique values in the combo-box (as you already removed it).

Here's another GIF showing the duplicate values: http://i.imgur.com/ELUvKU0.gif

The attached patch simply tells the combo box element to remove the tag from its list of tags available. This same list is shared with the widget. By doing so, the bug is gone, and I don't have duplicate values any more in the pop-up, and the combo-box keeps working fine as before.

Found it while trying to reproduce 359854; not sure if related (didn't really understand the issue, and couldn't reproduce it), so created a new issue.

Hope it helps
Bruno