diff options
Diffstat (limited to 'src/libui_sdl/libui/unix/util.c')
| -rw-r--r-- | src/libui_sdl/libui/unix/util.c | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/src/libui_sdl/libui/unix/util.c b/src/libui_sdl/libui/unix/util.c deleted file mode 100644 index 7f4f43f..0000000 --- a/src/libui_sdl/libui/unix/util.c +++ /dev/null @@ -1,10 +0,0 @@ -// 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); -} |