• R/O
  • HTTP
  • SSH
  • HTTPS

dialektos: Commit

dialektos


Commit MetaInfo

Revision9167c08ea085c3ceb606fe56d590e199566310e0 (tree)
Time2010-03-04 00:13:49
AuthorAiwota Programmer <aiwotaprog@tett...>
CommiterAiwota Programmer

Log Message

Add a border to the popups.

Change Summary

Incremental Difference

--- a/src/text_view_popup.cxx
+++ b/src/text_view_popup.cxx
@@ -45,6 +45,9 @@ Popup::Popup(const LineListType& line_list,
4545 scrolled_(text_view_.get_adjustment()),
4646 element_origin_(element) {
4747
48+ const int BORDER_WIDTH = 1;
49+ set_property("border_width", BORDER_WIDTH);
50+
4851 text_view_.set_id_map(id_map);
4952 text_view_.set_res_num_map(res_num_map);
5053
@@ -65,7 +68,7 @@ Popup::Popup(const LineListType& line_list,
6568
6669 text_view_.size_allocate(Gdk::Rectangle(0, 0, 300,
6770 std::min(200.0, std::ceil(text_view_.get_adjustment().get_upper()))));
68- set_default_size(300, text_view_.get_height());
71+ set_default_size(300, text_view_.get_height()+BORDER_WIDTH*2);
6972
7073 }
7174
Show on old repository browser