2023-08-16 22:26:55 +00:00
|
|
|
Use correct modified for num (int) and drop undefined %I
|
|
|
|
|
|
|
|
Index: src/terminal-app.cc
|
|
|
|
--- src/terminal-app.cc.orig
|
|
|
|
+++ src/terminal-app.cc
|
2024-05-26 03:08:12 +00:00
|
|
|
@@ -508,7 +508,7 @@ menu_append_numbered (GMenu *menu,
|
2023-08-16 22:26:55 +00:00
|
|
|
str = g_string_sized_new (strlen (label) + 4 + 1 + 8);
|
|
|
|
|
|
|
|
if (num < 10)
|
|
|
|
- g_string_append_printf (str, "_%Id. ", num);
|
|
|
|
+ g_string_append_printf (str, "_%d. ", num);
|
|
|
|
else if (num < 36)
|
|
|
|
g_string_append_printf (str, "_%c. ", (char)('A' + num - 10));
|
|
|
|
|