tree e872f41348b7af093de8e636e051d3de6d6303a0
parent cf94db1d5b97eb864a7d2215c2c6d92da9037b23
author Matt Mower <mowerm@gmail.com> 1428613452 -0500
committer Dees Troy <dees_troy@teamw.in> 1431967909 +0200

GUI: Prevent duplicate page overlays

If a page is requested for overlay, ensure it doesn't already exist in
the stack of existing overlays. If it does, erase the existing page
and push_back the new one.

Change-Id: I9feeea06cf7aad2e08a8c3bc567aaa761db2c3bc