bmag 4967df79d7 Don't switch to error-list window if already on it		2016-04-28 15:20:03 +02:00
..
spell-checking
syntax-checking	Don't switch to error-list window if already on it	2016-04-28 15:20:03 +02:00