Jon Atkins 8b2472701a 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

2013-04-05 18:06:40 +01:00

5.0 KiB

Raw Blame History

View Raw