d6cace32f5
Depending on the current state of arrowSide, the box allocation may be wrong; e.g. if the user requested a TOP, but we flipped to a BOTTOM, the next request would look to the y2 value of the flipped BOTTOM, which is wrong. Instead, use the origin, plus the calculated preferred size of the box. https://bugzilla.gnome.org/show_bug.cgi?id=690608 |
||
---|---|---|
.. | ||
extensionPrefs | ||
gdm | ||
misc | ||
perf | ||
ui | ||
Makefile.am |