From: Galilée 'Bill' Enguehard <galilee.enguehard@gmail.com>
Date: Thu, 21 May 2020 10:06:29 +0000 (+0200)
Subject: Add extra newline after module path in hover info
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=db926218b2082077750291f8426ddd28b284cd08;p=rust.git

Add extra newline after module path in hover info

Closes issue #3813
---

diff --git a/crates/ra_ide/src/display.rs b/crates/ra_ide/src/display.rs
index 722092de97d..cb350808659 100644
--- a/crates/ra_ide/src/display.rs
+++ b/crates/ra_ide/src/display.rs
@@ -83,7 +83,7 @@ pub(crate) fn rust_code_markup_with_doc(
 
     if let Some(mod_path) = mod_path {
         if !mod_path.is_empty() {
-            format_to!(buf, "{}\n", mod_path);
+            format_to!(buf, "{}\n\n", mod_path);
         }
     }
     format_to!(buf, "{}\n```", code);