+
+ // replace ranges like $1..3
+ if(!params.isEmpty()) {
+ int pos;
+ while((pos = paramRangeR.indexIn(command)) != -1) {
+ int start = paramRangeR.cap(1).toInt();
+ bool ok;
+ int end = paramRangeR.cap(2).toInt(&ok);
+ if(!ok) {
+ end = params.count();
+ }
+ if(end < start)
+ command = command.replace(pos, paramRangeR.matchedLength(), QString());
+ else {
+ command = command.replace(pos, paramRangeR.matchedLength(), QStringList(params.mid(start - 1, end - start + 1)).join(" "));
+ }
+ }
+ }
+