The crash location is always the same. I found out more details: The crash happens not only when you enter something in the search box. It happens when devhelp changes the pages fast, ie when you scroll fast through the index page using the cursor keys, it will crash after a short while. I suppose that the crash occurs when devhelp interrupts a page while it is loading or something like that.
-- devhelp crashed with SIGSEGV https://bugs.launchpad.net/bugs/416543 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to devhelp in ubuntu. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
