From f6d4084b8a5b4895f588dc4ff42d2a550e7a0ac3 Mon Sep 17 00:00:00 2001
From: Franck Dary <franck.dary@lis-lab.fr>
Date: Tue, 14 Jan 2020 16:13:29 +0100
Subject: [PATCH] Changed filler in debug output

---
 common/src/util.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/common/src/util.cpp b/common/src/util.cpp
index d8c1654..cc9a647 100644
--- a/common/src/util.cpp
+++ b/common/src/util.cpp
@@ -77,7 +77,7 @@ util::utf8string util::splitAsUtf8(std::string_view s)
 
 std::string util::shrink(const std::string & s, int printedSize)
 {
-  static const std::string filler = "..";
+  static const std::string filler = "…";
 
   if (printedLength(s) <= printedSize)
     return s;
@@ -88,7 +88,7 @@ std::string util::shrink(const std::string & s, int printedSize)
   std::string begin, end;
   int nbLoop = 0;
 
-  while (printedLength(begin)+printedLength(end)+2 <= printedSize)
+  while (printedLength(begin)+printedLength(end)+printedLength(filler) <= printedSize)
   {
     result = begin + filler + end;
 
-- 
GitLab