Use border-width instead of padding

parent 7e7500af
......@@ -750,7 +750,7 @@ remove_right_padding (GeditNotebook *nb)
GError *error = NULL;
const gchar style[] =
".notebook {\n"
"padding: %d 0 %d %d;\n"
"border-width: %d 0 %d %d;\n"
"}";
/* FIXME: find out a css like way to do this, right now padding-right/left
......
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