Как webkit3 разрешает свой основной шрифт в Linux?
(Обнаружена ошибка сегментации в libwebkitgtk-3.0. Кто-нибудь сталкивался с подобной проблемой? Есть ли способ ее обойти? Как ее отладить или исправить с минимальными изменениями в системе?)
GDB печатает:
Program received signal SIGSEGV, Segmentation fault.
0x74a1bc87 in WebCore::RenderStyle::fontMetrics() const () from /lib/libwebkitgtk-3.0.so.0
След gdb после установки debuginfo:
(gdb) bt
#0 primarySimpleFontData (...) at Source/WebCore/platform/graphics/FontGlyphs.h:123
#1 primaryFont (...) at Source/WebCore/platform/graphics/Font.h:326
#2 fontMetrics (...) at Source/WebCore/platform/graphics/Font.h:143
#3 WebCore::RenderStyle::fontMetrics
(...) at Source/WebCore/rendering/style/RenderStyle.cpp:1335
#4 0x74a1bea3 in WebCore::RenderStyle::computedLineHeight
(...) at Source/WebCore/rendering/style/RenderStyle.cpp:1376
#5 0x7488ef06 in WebCore::RenderBlock::lineHeight
(...) at Source/WebCore/rendering/RenderBlock.cpp:6651
Шаги ведут к этому:
Install pyjs.org following its readme file, set the virtualenv to pyjsroot/mypy.
Install webkitgtk3 and pygobject3.
Source an environment setting file to set PATHONPATH to pyjsroot:/lib/python2.7/site-packages
Run in pyjsroot "mypy/bin/python examples/helloworld/Hello.py"
Изменить: добавлена обратная трассировка gdb. Обратный след говорит мне, что webkit не может правильно разрешить «основной шрифт». Измените заголовок со старого «сегментация в libwebkitgtk-3.0 на Fedora 20 при запуске pyjs», чтобы отразить это.