Dan Winship fde200d084 panel: move the corners into the panel actor
Rather than having the panel corners as independent bits of chrome and
manually syncing their positions, put them inside the panel actor, and
update the panel's allocation code to position them correctly.

https://bugzilla.gnome.org/show_bug.cgi?id=655813
2011-08-03 09:17:52 -04:00
..
2011-07-14 12:51:18 -04:00
2011-08-03 09:09:55 -04:00
2011-05-20 14:19:16 +02:00