fix: rendering of markdown text with additional break in the description

Author: appelgriebsch

lib/datatip-manager.js

@@ -303,11 +303,10 @@ module.exports = class DatatipManager {
             this.dataTipMarkerDisposables = this.mountDataTipWithMarker(editor, datatip.range, position, dataTipView);
           }
           else if (datatip.markedStrings.length > 0) {
-            let htmlString = this.makeHtmlFromMarkedStrings(datatip.markedStrings, editor.getGrammar().name.toLowerCase());
-
-              const html = await this.renderer.render(htmlString);
-              const dataTipView = new DataTipView({ htmlView: html });
-              this.dataTipMarkerDisposables = this.mountDataTipWithMarker(editor, datatip.range, position, dataTipView);
+            const htmlString = this.makeHtmlFromMarkedStrings(datatip.markedStrings, editor.getGrammar().name.toLowerCase());
+            const html = await this.renderer.render(htmlString);
+            const dataTipView = new DataTipView({ htmlView: html });
+            this.dataTipMarkerDisposables = this.mountDataTipWithMarker(editor, datatip.range, position, dataTipView);
           }
         }
       }
@@ -328,13 +327,13 @@ module.exports = class DatatipManager {
     return markedStrings
     .map(string => {
       if (string.type === 'markdown') {
-        return string.value;
+        return (string.value.length > 0 ? `<p>${string.value}</p>` : null);
       } else if (string.type === 'snippet') {
         const snippet = string.value.replace(regExpLSPPrefix, '');
         return `<pre><code class="${grammarName}">${snippet}</code></pre>`;
       }
     })
-    .join('<br>');
+    .join('');
   }
 
   /**