2015-04-22 16:54:05 -05:00
|
|
|
// 18 april 2015
|
|
|
|
#include "uipriv_unix.h"
|
|
|
|
|
2018-05-12 11:47:21 -05:00
|
|
|
void uiprivSetMargined(GtkContainer *c, int margined)
|
2015-06-15 21:36:49 -05:00
|
|
|
{
|
2015-08-28 09:30:42 -05:00
|
|
|
if (margined)
|
2018-05-12 11:47:21 -05:00
|
|
|
gtk_container_set_border_width(c, uiprivGTKXMargin);
|
2015-08-27 17:40:00 -05:00
|
|
|
else
|
|
|
|
gtk_container_set_border_width(c, 0);
|
2015-06-15 21:36:49 -05:00
|
|
|
}
|