public void mouseReleased(MouseEvent e) {
	            if (e.getButton() == MouseEvent.BUTTON3) {
	            	// -1 because of JTextEditor
					JPopupMenu menu = f1.e(e);
					
					if (menu != null) {
						menu.show(comp, e.getX(), e.getY());
					}
	            }
	        }