       else
 
         DIV null,
+
 
           Dock
             dock_on_zoomed_screens: true



    close_if_nothing_in_menu_focused = =>
      setTimeout => 
        if !$$.closest(document.activeElement, "##{id}")
          wysiwyg_editor = fetch 'wysiwyg_editor'
          wysiwyg_editor.showing = false
          save wysiwyg_editor
      , 0



                wysiwyg_editor.showing = @props.editor_key
                save wysiwyg_editor

              # This was causing problems with erroneously closing menu just before it got clicked.
              # I don't know why it is here and things seem to work without it, except that in 
              # some wysiwyg editors, the menu won't disappear after first appearing.
              # onBlur: close_if_nothing_in_menu_focused

              style: @props.style

