commit: 5b578e0c0386ec6b9a4fb6d5b3ae8f7f161f99a9
parent c8881b03457573b34c00ea8041b197241dda5c0b
Author: Haelwenn (lanodan) Monnier <contact@hacktivis.me>
Date: Sun, 3 Dec 2023 02:14:58 +0100
badwolf: Handle WEBKIT_WEB_PROCESS_TERMINATED_BY_API
Diffstat:
2 files changed, 13 insertions(+), 3 deletions(-)
diff --git a/badwolf.c b/badwolf.c
@@ -104,6 +104,10 @@ WebViewCb_web_process_terminated(WebKitWebView *UNUSED(webView),
fprintf(stderr, "%s", _("the web process exceeded the memory limit.\n"));
webView_tab_label_change(browser, _("Out of Memory"));
break;
+ case WEBKIT_WEB_PROCESS_TERMINATED_BY_API:
+ fprintf(stderr, "%s", _("the web process was user terminated.\n"));
+ webView_tab_label_change(browser, _("User terminated"));
+ break;
default:
fprintf(stderr, "%s", _("the web process terminated for an unknown reason.\n"));
webView_tab_label_change(browser, _("Unknown Crash"));
diff --git a/po/messages.pot b/po/messages.pot
@@ -1,12 +1,12 @@
-# SPDX-FileCopyrightText: 2019-2022 Badwolf Authors <https://hacktivis.me/projects/badwolf>
+# SPDX-FileCopyrightText: 2019-2023 Badwolf Authors <https://hacktivis.me/projects/badwolf>
# SPDX-License-Identifier: BSD-3-Clause
#
#, fuzzy
msgid ""
msgstr ""
-"Project-Id-Version: Badwolf 1.2.0+g5726ba86.userscripts\n"
+"Project-Id-Version: Badwolf 1.2.0\n"
"Report-Msgid-Bugs-To: contact+badwolf-msgid@hacktivis.me\n"
-"POT-Creation-Date: 2023-07-16 04:25+0200\n"
+"POT-Creation-Date: 2023-12-03 02:14+0100\n"
"PO-Revision-Date: YEAR-MO-DA HO:MI+ZONE\n"
"Last-Translator: FULL NAME <EMAIL@ADDRESS>\n"
"Language-Team: LANGUAGE <LL@li.org>\n"
@@ -141,6 +141,9 @@ msgstr ""
msgid "Unknown Crash"
msgstr ""
+msgid "User terminated"
+msgstr ""
+
msgid "_IMG"
msgstr ""
@@ -203,6 +206,9 @@ msgstr ""
msgid "the web process terminated for an unknown reason.\n"
msgstr ""
+msgid "the web process was user terminated.\n"
+msgstr ""
+
#, c-format
msgid "webkit-web-extension directory set to: %s\n"
msgstr ""