3 Commits

Author	SHA1	Message	Date
torger	cdefd0c999	Ctrl-Q now Ctrl-B	2013-11-11 18:42:46 +01:00
torger	b1ed94639a	General OS X fixup: make the plist include the actual supported formats.	2013-11-11 11:48:05 +01:00
torger	4243375005	issue 1287: remapped Ctrl-Q for batch queue to Ctrl-B, and made Ctrl-Q quit command on Linux and Windows, Cmd-Q on Mac.	2013-11-11 09:47:39 +01:00