Batch queue improvements: keyboard shortcuts and a sequence index; on behalf of Adam Reichold (issue 1915)

rtgui/batchqueuepanel.cc

@@ -274,3 +274,7 @@ void BatchQueuePanel::formatChanged (Glib::ustring f) {
     options.saveFormatBatch = saveFormatPanel->getFormat ();
     
 }
+
+bool BatchQueuePanel::handleShortcutKey (GdkEventKey* event) {
+	return batchQueue->keyPressed (event);
+}