diff options
| author |  Alexey Yakovenko <waker@users.sourceforge.net> | 2014-05-04 22:36:10 +0200 |
|---|---|---|
| committer | Alexey Yakovenko <waker@users.sourceforge.net> | 2014-05-04 22:36:10 +0200 |
| commit | 56e65ff985ac3d016d78b78102d6fd193faa4c8c (patch) | |
| tree | c78b7447ee1fa78fee99fd9dfed4cdda5d2812ab /junklib.c | |
| parent | 8e6b6cb4502a8b367005f64d55f5a00aa46c1977 (diff) | |
gtkui: when unknown widget is encountered (e.g. widget plugin doesn't work or missing), layout is not dropped, but placeholder widget will be inserted, to preserve the layout
Diffstat (limited to 'junklib.c')
0 files changed, 0 insertions, 0 deletions