Inserting a "Proof" paragraph produces a crash for me, always.
Here is the backtrace:
(gdb) where
#0 0x401ec111 in __kill ()
#1 0x401ebd66 in raise (sig=6) at ../sysdeps/posix/raise.c:27
#2 0x401ed447 in abort () at ../sysdeps/generic/abort.c:88
#3 0x82169ab in lyx::abort () at abort.C:9
#4 0x822d8b8 in void lyx::Assert<bool> (assertion=false) at LAssert.h:24
#5 0x8113cee in LyXText::getFont (this=0x84e8058, buf=0x84e4340,
par=0x851f858, pos=-1) at text2.C:164
#6 0x8111c02 in LyXText::paintLastRow (this=0x84e8058, p=@0xbffff09c)
at text.C:3513
#7 0x811287d in LyXText::getVisibleRow (this=0x84e8058, bv=0x84c55b8,
y_offset=380, x_offset=0, row=0x84c6740, y=1760, cleared=false)
at text.C:3668
#8 0x80f0b6d in LyXScreen::drawFromTo (this=0x8525b70, text=0x84e8058,
bv=0x84c55b8, y1=342, y2=414, y_offset=0, x_offset=0, internal=false)
at screen.C:130
#9 0x80f1c56 in LyXScreen::update (this=0x8525b70, text=0x84e8058,
bv=0x84c55b8, y_offset=0, x_offset=0) at screen.C:445
#10 0x8057974 in BufferView::Pimpl::update (this=0x84c2f18)
at BufferView_pimpl.C:980
#11 0x8057b5c in BufferView::Pimpl::update (this=0x84c2f18, text=0x84e8058,
f=7) at BufferView_pimpl.C:1052
#12 0x805a673 in BufferView::Pimpl::Dispatch (this=0x84c2f18,
action=LFUN_LAYOUT, argument=@0xbffff81c) at BufferView_pimpl.C:1659
#13 0x8051412 in BufferView::Dispatch (this=0x84c55b8, action=LFUN_LAYOUT,
argument=@0xbffff81c) at BufferView.C:294
#14 0x80ce52c in LyXFunc::dispatch (this=0x849a6c8, ac=135,
do_not_use_this_arg=@0x84fa348) at lyxfunc.C:1546
#15 0x81f3f74 in Toolbar::Pimpl::layoutSelected (this=0x84bf140)
at Toolbar_pimpl.C:233
#16 0x81f3e50 in Toolbar::Pimpl::layoutSelectedCB (arg=0x84bf140)
at Toolbar_pimpl.C:218
#17 0x8210220 in Combox::hide (this=0x84bf3b0, who=0) at combox.C:354
#18 0x82104a1 in Combox::combo_cb (ob=0x84bf910, data=2) at combox.C:415
#19 0x820f632 in C_Combox_combo_cb (ob=0x84bf910, data=2) at combox.C:57
#20 0x400378bf in fl_object_qread ()
#21 0x40045b8e in fl_check_forms ()
#22 0x819ffaa in GUIRunTime::runTime () at GUIRunTime.C:86
#23 0x80bdf85 in LyXGUI::runTime (this=0x8482048) at lyx_gui.C:315
#24 0x80be7fd in LyX::LyX (this=0xbffffb04, argc=0xbffffb50, argv=0xbffffb94)
at ../src/lyx_main.C:177
#25 0x80e51e7 in main (argc=2, argv=0xbffffb94) at ../src/main.C:38
#26 0x401e5cb3 in __libc_start_main (main=0x80e5110 <main>, argc=2,
argv=0xbffffb94, init=0x804ec28 <_init>, fini=0x82de3d4 <_fini>,
rtld_fini=0x4000a350 <_dl_fini>, stack_end=0xbffffb8c)
at ../sysdeps/generic/libc-start.c:78
--
Kayvan A. Sylvan | Proud husband of | Father to my kids:
Sylvan Associates, Inc. | Laura Isabella Sylvan | Katherine Yelena (8/8/89)
http://sylvan.com/~kayvan | "crown of her husband" | Robin Gregory (2/28/92)
