From 91f804496adae7e70d2decc5d741218a93120dbe Mon Sep 17 00:00:00 2001
From: Andreas Zwinkau <qznc@web.de>
Date: Sat, 17 Jan 2015 16:26:27 +0100
Subject: [PATCH] preserve double newline between comments

---
 src/dfmt.d | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/dfmt.d b/src/dfmt.d
index 5603c08..7bd6b93 100644
--- a/src/dfmt.d
+++ b/src/dfmt.d
@@ -171,6 +171,11 @@ private:
             writeToken();
             if (i >= tokens.length-1)
                 newline();
+            else if (tokens[i+1].line-1 > tokens[i].line)
+            {
+                newline();
+                newline();
+            }
             else if (tokens[i+1].line > tokens[i].line)
                 newline();
             else if (tokens[i+1].type != tok!"{")