I am quite new to Linux Mint (and am using 14 - Nadia RC). I migrated from Gnome 3 in Ubuntu 12.04, and find that the overall experience and responsiveness of Mint is better. However one thing that I miss the most as compared to Gnome in Ubuntu is the "thing" that you get when you hover over the top-left hotkey, which then shows the open windows and has a search box. Mint has the same top-left hotkey and shows the open windows, however there is no search functionality.
At the same time, clicking on the Menu button on the panel gives you a search bar, which I find is not quite as powerful as the Gnome one, because I need to mostly know the application name exactly, or the search does not give any result.
My question is, is there some way that I can get the same experience that Gnome gives on hovering over the top-left hotkey? Or, is there someway I can do away with what is currently displayed when the Menu is clicked, so that on clicking Menu I get what Gnome shows - the open windows and a search bar?