Better icons with distinct shapes for priority columns (#1488377); fix over...

Thomas Bruederli

2012-06-20 7dad5945a0c70bc8388a6bd818f464ce5140079c

 program/js/tiny_mce/plugins/contextmenu/editor_plugin_src.js

@@ -80,6 +80,7 @@
               t._menu.removeAll();

               t._menu.destroy();

               Event.remove(ed.getDoc(), 'click', hide);

               t._menu = null;

            }

         };