From 259234962b76d79734d5bb4e6a33c60d98a5e1c6 Mon Sep 17 00:00:00 2001 From: eidheim Date: Tue, 15 May 2018 10:56:26 +0200 Subject: [PATCH] Language protocol: removed ending newlines from tooltips --- src/source_language_protocol.cc | 1 + 1 file changed, 1 insertion(+) diff --git a/src/source_language_protocol.cc b/src/source_language_protocol.cc index d95a068..d6d40ee 100644 --- a/src/source_language_protocol.cc +++ b/src/source_language_protocol.cc @@ -979,6 +979,7 @@ void Source::LanguageProtocolView::show_type_tooltips(const Gdk::Rectangle &rect } } if(!content.empty()) { + while(!content.empty() && content.back()=='\n') { content.pop_back(); } // Remove unnecessary newlines dispatcher.post([this, offset, content=std::move(content), current_request] { if(current_request!=request_count) return;