11 lines
205 B
C
Raw Normal View History

2017-07-03 06:34:21 +02:00
// 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);
}