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