Pietro Gagliardi
|
d307848c8c
|
Removed leftover TODOs: container does handle margins now.
|
2014-08-06 10:50:07 -04:00 |
|
Pietro Gagliardi
|
0ac40be173
|
Removed Control.containerShow() and Control.containerHide() and the overall ability to show and hide Controls in general; too much effort to get right.
|
2014-08-04 13:39:33 -04:00 |
|
Pietro Gagliardi
|
8b1756e952
|
Re-added Stack. Of course it only works right on GTK+ right now... the other platforms's Control.preferredSize()s aren't implemented yet!
|
2014-07-29 23:23:45 -04:00 |