Merge pull request #1073 from gitblit/1062-DocEditorUpdates

Paul Martin

2016-04-30 a502d96a860456ec5e8c96761db70f7cabb74751

 src/main/java/com/gitblit/client/ClosableTabComponent.java

@@ -46,6 +46,7 @@
   private static final long serialVersionUID = 1L;

   private static final MouseListener BUTTON_MOUSE_LISTENER = new MouseAdapter() {
      @Override
      public void mouseEntered(MouseEvent e) {
         Component component = e.getComponent();
         if (component instanceof AbstractButton) {
@@ -54,6 +55,7 @@
         }
      }

      @Override
      public void mouseExited(MouseEvent e) {
         Component component = e.getComponent();
         if (component instanceof AbstractButton) {
@@ -112,6 +114,7 @@
         addActionListener(this);
      }

      @Override
      public void actionPerformed(ActionEvent e) {
         int i = pane.indexOfTabComponent(ClosableTabComponent.this);
         Component c = pane.getComponentAt(i);
@@ -123,6 +126,7 @@
         }
      }

      @Override
      public void updateUI() {
      }