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
more chat changes
- remove public @mentions from the faction chat channel
- add default case to chat text handling. if a new message fragment type is added, at least something will be shown in chat instead of being blank (as happened when AT_PLAYER was first introduced)
- highlight your own player name in the chat column in yellow for things you said/actions performed - similar to @mentions from other players
Merge branch 'master' into highlighter