RESOLVED FIXED 244625
[git-webkit] Ring terminal bell if input hangs
https://bugs.webkit.org/show_bug.cgi?id=244625
Summary [git-webkit] Ring terminal bell if input hangs
Jonathan Bedard
Reported 2022-08-31 12:24:01 PDT
When git-webkit is waiting for user input, the user may have shifted their attention. After 30 seconds, we should ping users to rebind them of their pending script.
Attachments
Radar WebKit Bug Importer
Comment 1 2022-08-31 12:25:12 PDT
Jonathan Bedard
Comment 2 2022-08-31 12:32:16 PDT
EWS
Comment 3 2022-10-17 10:36:17 PDT
Committed 255634@main (5df181e38c3e): <https://commits.webkit.org/255634@main> Reviewed commits have been landed. Closing PR #3868 and removing active labels.
Jonathan Bedard
Comment 4 2022-10-17 11:35:50 PDT
Jonathan Bedard
Comment 5 2022-10-17 11:35:54 PDT
Re-opening for pull request https://github.com/WebKit/WebKit/pull/5451
EWS
Comment 6 2022-10-17 11:49:00 PDT
Committed 255637@main (8f58e84a7ee6): <https://commits.webkit.org/255637@main> Reviewed commits have been landed. Closing PR #5451 and removing active labels.
Jonathan Bedard
Comment 7 2022-10-17 13:22:45 PDT
Re-opening for pull request https://github.com/WebKit/WebKit/pull/5458
EWS
Comment 8 2022-10-17 14:12:52 PDT
Committed 255650@main (1f96c91d66dc): <https://commits.webkit.org/255650@main> Reviewed commits have been landed. Closing PR #5458 and removing active labels.
EWS
Comment 9 2022-10-18 16:34:02 PDT
Committed 252432.596@safari-7614-branch (0c6f6c747fca): <https://commits.webkit.org/252432.596@safari-7614-branch> Reviewed commits have been landed. Closing PR #145 and removing active labels.
Note You need to log in before you can comment on or make changes to this bug.