[rendering] Do not write duplicated hashes...
[wikipediardware.git] / host-tools / rendering / patches / 0014-Print-a-hint-on-how-many-glyphs-were-handled.patch
blob943d41dba17f7507fbd5bbd38f98e13712ef0c22
1 From 1180a448d7ba12d8bf32a60f1e18fd5b52e5d2d8 Mon Sep 17 00:00:00 2001
2 From: Holger Hans Peter Freyther <zecke@selfish.org>
3 Date: Tue, 3 Feb 2009 00:41:39 +0100
4 Subject: [PATCH] Print a hint on how many glyphs were handled...
6 ---
7 WebKitTools/GtkLauncher/main.c | 5 ++++-
8 1 files changed, 4 insertions(+), 1 deletions(-)
10 diff --git a/WebKitTools/GtkLauncher/main.c b/WebKitTools/GtkLauncher/main.c
11 index d0c45ef..8b74e3a 100644
12 --- a/WebKitTools/GtkLauncher/main.c
13 +++ b/WebKitTools/GtkLauncher/main.c
14 @@ -35,6 +35,8 @@ static gchar* main_title;
15 static gint load_progress;
16 static guint status_context_id;
18 +static gint dumped_glyphs = 0;
21 * write int... with paranoia... (to be added...)
23 @@ -115,6 +117,7 @@ static void create_font_dir(WebKitGlyph* glyph, gpointer* data)
24 if (!glyph->face_and_config)
25 return;
27 + ++dumped_glyphs;
28 length = strlen(glyph->face_and_config);
29 for (i = 0; i < length; ++i)
30 if (glyph->face_and_config[i] == ' ')
31 @@ -205,7 +208,7 @@ update_title (GtkWindow* window)
32 create_font_dirs(webkit_glyphs);
33 create_text_file(webkit_glyphs);
34 create_links(link_list);
35 - g_warning("Done!");
36 + g_warning("Done! Dumped: Glyphs: %d", dumped_glyphs);
37 gtk_main_quit ();
40 --
41 1.5.6.3