From d86355b88f66b787df373c03b07b8389afb5cd21 Mon Sep 17 00:00:00 2001 From: eidheim Date: Wed, 14 Jul 2021 08:01:43 +0200 Subject: [PATCH] Removed unnecessary line --- src/notebook.cpp | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/notebook.cpp b/src/notebook.cpp index 84ceb92..7787de1 100644 --- a/src/notebook.cpp +++ b/src/notebook.cpp @@ -310,8 +310,6 @@ bool Notebook::open(const boost::filesystem::path &file_path_, Position position if(!rust_installed) Terminal::get().print("You will need to restart juCi++ after installing Rust.\n"); shown.emplace(language_id); - - shown.emplace(language_id); } else if(language_id == "go") { Terminal::get().print("\e[33mWarning\e[m: could not find Go language server.\n");