} catch (e) {
$status.text = "Error: " + e;
- if ($status.text.substring(0, 13) == "Error: Error:") $status.text = $status.text.substring(7);
+ if ($status.text.substring(0, 13) == "Error: Error:") {
+ $status.text = $status.text.substring(7) +
+ " (press Esc to quit)";
+ }
}
}