3.15.2 - November 24, 2014 ========================== * The highlighter can now be turned off with a preference (Andrei Ghincu) * XDG_CURRENT_DESKTOP may contain a list of desktops (Robert Ancell) * Updated translations