diff options
author | StapleButter <thetotalworm@gmail.com> | 2017-09-09 02:30:51 +0200 |
---|---|---|
committer | StapleButter <thetotalworm@gmail.com> | 2017-09-09 02:30:51 +0200 |
commit | 70e4841d311d68689724768157cc9cbfbde7a9fc (patch) | |
tree | ba9499f77d1258530a7e60aa6e1732c41d98161c /src/libui_sdl/libui/unix/util.c | |
parent | 81747d6c34eb159481a6ca3f283d065fa3568617 (diff) |
another UI attempt, I guess.
sorry.
Diffstat (limited to 'src/libui_sdl/libui/unix/util.c')
-rw-r--r-- | src/libui_sdl/libui/unix/util.c | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/libui_sdl/libui/unix/util.c b/src/libui_sdl/libui/unix/util.c new file mode 100644 index 0000000..7f4f43f --- /dev/null +++ b/src/libui_sdl/libui/unix/util.c @@ -0,0 +1,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); +} |