javadoc Markdown issues (eclipse-jdt#2051)

Partition based selection handling needs to handle markdown, too.

Fixes part of eclipse-jdt#1800

Author: stephan-herrmann

org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/infoviews/JavadocView.java

@@ -1159,7 +1159,7 @@ protected boolean isIgnoringNewInput(IJavaElement je, IWorkbenchPart part, ISele
 			try {
 				int offset= textSel.getOffset();
 				String partition= ((IDocumentExtension3)document).getContentType(IJavaPartitions.JAVA_PARTITIONING, offset, false);
-				return !IJavaPartitions.JAVA_DOC.equals(partition);
+				return !IJavaPartitions.JAVA_DOC.equals(partition) && !IJavaPartitions.JAVA_MARKDOWN_COMMENT.equals(partition);
 			} catch (BadPartitioningException | BadLocationException ex) {
 				return false;
 			}
@@ -1199,7 +1199,8 @@ protected IJavaElement findSelectedJavaElement(IWorkbenchPart part, ISelection s
 
 						if (document != null) {
 							ITypedRegion typedRegion= TextUtilities.getPartition(document, IJavaPartitions.JAVA_PARTITIONING, textSelection.getOffset(), false);
-							if (IJavaPartitions.JAVA_DOC.equals(typedRegion.getType())){
+							if (IJavaPartitions.JAVA_DOC.equals(typedRegion.getType())
+									|| IJavaPartitions.JAVA_MARKDOWN_COMMENT.equals(typedRegion.getType())){
 								element= TextSelectionConverter.getElementAtOffset((JavaEditor) part, textSelection);
 							}
 							else if (editorInput instanceof IFileEditorInput fei) {