src/libui_sdl/libui/unix/util.c


1
2
3
4
5
6
7
8
9
10

// 18 april 2015
#include "uipriv_unix.h"

void setMargined(GtkContainer *c, int margined)
{
	if (margined)
		gtk_container_set_border_width(c, gtkXMargin);
	else
		gtk_container_set_border_width(c, 0);
}