positioner widget - the child is positioned in the middle, does not grow

2016-05-04 17:27:32 +02:00
parent a74f865917
commit 16e17d346f
5 changed files with 102 additions and 3 deletions
@@ -264,7 +264,8 @@ void widget_dirty(gui *_gui, widget *_this)
 }

 static const char *names[] = {
-  "TOPLEVEL_WINDOW", "CONTAINER", "TEXT_LIST", "XY_PLOT", "BUTTON", "LABEL"
+  "TOPLEVEL_WINDOW", "CONTAINER", "POSITIONER", "TEXT_LIST",
+  "XY_PLOT", "BUTTON", "LABEL"
 };
 const char *widget_name(enum widget_type type)
 {
@@ -272,6 +273,7 @@ const char *widget_name(enum widget_type type)
  default: break;
  case TOPLEVEL_WINDOW:
  case CONTAINER:
+  case POSITIONER:
  case TEXT_LIST:
  case XY_PLOT:
  case BUTTON: