Don't show prompt if Document History is already open

main
Isaiah Odhner 2019-12-08 20:32:29 -05:00
parent 65f1127aa8
commit 2ec2de5a33
1 changed files with 7 additions and 5 deletions

View File

@ -1007,11 +1007,13 @@ function redo(){
if ($document_history_prompt_window) {
$document_history_prompt_window.close();
}
const $w = $document_history_prompt_window = new $Window();
$w.title("Redo");
$w.$content.html("Press <b>Ctrl+Shift+Y</b> at any time to open Document History.");
// at any time* except in textarea, right?
$w.$Button("Document History", show_document_history);
if (!$document_history_window || $document_history_window.closed) {
const $w = $document_history_prompt_window = new $Window();
$w.title("Redo");
$w.$content.html("Press <b>Ctrl+Shift+Y</b> at any time to open Document History.");
// at any time* except in textarea, right?
$w.$Button("Document History", show_document_history);
}
return false;
}