             return 0
         else
             e = @project_page.container
+            # console.log("editor_top_position: e.position().top = #{e.position().top} + e.height() = #{e.height()}")
             return e.position().top + e.height()
 
     refresh: () =>

        @preview.maxheight(offset:button_bar_height)

        @_dragbar.height(@source_editor.element.height())
        @_dragbar.css('top',top-9)  # -9 = ugly hack

        # position the preview
        @preview.css
            left  : editor_width + left + 7
            width : width - (editor_width + left + 7)
            top   : top


    focus: () =>
        @source_editor?.focus()


        @_dragbar.css('left',editor_width+left)

        # console.log("@source_editor.show: top=#{top} + @edit_buttons.height()=#{@edit_buttons.height()}")

        @source_editor.show
            width : editor_width
            top   : top + @edit_buttons.height()
