R627-029: Add a border on the completion notes

Has been removed inadvertently in previous patches. Change-Id: Ib22ee00e7c82f2fcbf0089bccfe32c2045766e93
AdaCore · Jun 29, 2018 · 84f057b · 84f057b
1 parent ed7f2fb
commit 84f057b
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 4 deletions.
diff --git 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
@@ -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 {