Marco Martin b34b9e9f6a prefer an applet-provided compactRepresentation ... if possible, still fallback to a default one		2013-02-13 21:15:09 +01:00
..
ui	prefer an applet-provided compactRepresentation	2013-02-13 21:15:09 +01:00