Add some padding to iframe footer

Thomas Bruederli

2012-05-31 a15c0aa218fabd2de93e962dc7c697c4bf7ce72f

 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;

            }

         };