-
Committer:
Matthew Fuller
-
Date:
2016-05-11 06:00:46 UTC
-
mto:
This revision was merged to the branch mainline in
revision
491.
-
Revision ID:
fullermd@over-yonder.net-20160511060046-8ao362jc14fgwrfj
PaintTitleButtons() actually is only currently used in the screen
masking, and it's not obvious that it will ever be useful elsewhere
because of how/when we paint things. However, it conceptually fits
better alongside the individual button painting along with the rest of
the Title-painting bits, so go ahead and move it there.