Parents and children of check-in [e421c1af60]

2016-10-22
19:07		new plugin: specbuttons allows to define mini toolbar buttons to control applications (audio settings, mute/volume, start/kill players or other apps). Has been externalized as plugin. The UI features are built into gtk3.xml check-in: 43b36ed35b user: mario tags: trunk
19:01		Minor text fixes check-in: e421c1af60 user: mario tags: trunk
19:00		Set "instant activation" option background yellow instead of orange. check-in: 6c2f0c5c09 user: mario tags: trunk