Commit 58ec3e4f authored by Sébastien Wilmet's avatar Sébastien Wilmet

Smaller status bar

It seems that since gtk+ 3.10, the status bar is bigger.
parent 9d60b276
......@@ -27,7 +27,11 @@ public class CustomStatusbar : Statusbar
{
cursor_position = new Statusbar ();
cursor_position.set_size_request (150, -1);
cursor_position.margin = 0;
pack_end (cursor_position, false, true, 0);
margin_top = 2;
margin_bottom = 2;
}
public void set_cursor_position (int line, int col)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment