Stephen Boddy 8878aef3d2 Change the selectors to target terminal window only, fixing the prefs window		2016-12-10 15:14:06 +01:00
..
apps	Change the selectors to target terminal window only, fixing the prefs window	2016-12-10 15:14:06 +01:00