make double-click on portal title in details panel close the panel
TODO: better interface (close button?), but at least there's *some* way of closing it now