Add a border to the popups.

diff --git a/src/text_view_popup.cxx b/src/text_view_popup.cxx
index 898224a..2cdd347 100644 (file)
--- a/src/text_view_popup.cxx
+++ b/src/text_view_popup.cxx
@@ -45,6 +45,9 @@ Popup::Popup(const LineListType& line_list,
   scrolled_(text_view_.get_adjustment()),
   element_origin_(element) {
 
+  const int BORDER_WIDTH = 1;
+  set_property("border_width", BORDER_WIDTH);
+
   text_view_.set_id_map(id_map);
   text_view_.set_res_num_map(res_num_map);
 
@@ -65,7 +68,7 @@ Popup::Popup(const LineListType& line_list,
 
   text_view_.size_allocate(Gdk::Rectangle(0, 0, 300,
       std::min(200.0, std::ceil(text_view_.get_adjustment().get_upper()))));
-  set_default_size(300, text_view_.get_height());
+  set_default_size(300, text_view_.get_height()+BORDER_WIDTH*2);
 
 }