Method mouseMoved

app/src/processing/app/ui/EditorHeader.java:125–133

(MouseEvent e)

    addMouseMotionListener(new MouseMotionAdapter() {
        public void mouseMoved(MouseEvent e) {
      int x = e.getX();
      for (Tab tab : tabs) {
        if (tab.contains(x) && !tab.textVisible) {
          lastNoticeName = editor.getSketch().getCode(tab.index).getPrettyName();
          editor.statusNotice(lastNoticeName);
        }
      }
      }
    });
  }