I saw a video screencast where someone was able to resize windows dynamically from the maximize windows, through a nifty popup. See attachment. What is the app that enables this called?