I saw today in a lecture at Uni a feature where hovering over the plus ('zoom') button presented a short horizontal menu of about four icons each of options of how to 'zoom' or maximize the content. Does anyone know what that app that does that is called?