From db926218b2082077750291f8426ddd28b284cd08 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Galil=C3=A9e=20=27Bill=27=20Enguehard?=
 <galilee.enguehard@gmail.com>
Date: Thu, 21 May 2020 12:06:29 +0200
Subject: [PATCH] Add extra newline after module path in hover info

Closes issue #3813
---
 crates/ra_ide/src/display.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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);
-- 
2.44.0