From 84f057bc9067ea19d57b05fe857f0371418ca7c4 Mon Sep 17 00:00:00 2001
From: Anthony Leonardo Gracio <leonardo@adacore.com>
Date: Fri, 29 Jun 2018 14:54:27 +0200
Subject: [PATCH] R627-029: Add a border on the completion notes

Has been removed inadvertently in previous patches.

Change-Id: Ib22ee00e7c82f2fcbf0089bccfe32c2045766e93
---
 completion/ui/src/completion_window.adb |  1 -
 share/gps.css                           | 10 +++++++---
 2 files changed, 7 insertions(+), 4 deletions(-)

diff --git a/completion/ui/src/completion_window.adb b/completion/ui/src/completion_window.adb
index 7b786cc899..2752dbb10b 100644
--- a/completion/ui/src/completion_window.adb
+++ b/completion/ui/src/completion_window.adb
@@ -1858,7 +1858,6 @@ package body Completion_Window is
       --  Create the window's main frame
       Gtk_New (Frame);
       Add (Window, Frame);
-      Frame.Set_Name ("notes-frame");
 
       --  Create a scrolled window inside the window's main frame
       Gtk_New (Window.Notes_Scroll);
diff --git a/share/gps.css b/share/gps.css
index 477a5f066e..6d42960842 100644
--- a/share/gps.css
+++ b/share/gps.css
@@ -524,9 +524,13 @@ GtkDialog {
    padding: 12px;
 }
 
-.completion.notes * {
-  padding: 3px;
-  border-width: 0px;
+.completion.notes > .frame {
+   border: 1px solid @popup_border_color;
+}
+
+.completion.notes > .frame * {
+   padding: 3px;
+   border-width: 0px;
 }
 
 .completion.search GtkFrame {