Midori often crashes when closing the Developer tools window

[v_2e]

This happens to me pretty often. Steps to reproduce:

1. Open the developer tools
2. Click around for a bit, change some CSS rules, use the developer tools a bit, etc.
3. Click some links in the browser.
4. Close the developer tools.
5. If the browser closed as well, then the bug has been reproduced.

The reason I told you to click around a bit is because the bug seems to manifest itself more if the developer tools have been open for longer. If you open them, do a couple quick things, and close them, then it rarely causes a problem.

If this is a WebKit bug instead of a Midori bug, let me know.

Moved from FS: http://www.twotoasts.de/bugs/index.php?do=details&task_id=586

[v_2e (v-2e)]

Mike, I was wondering, what are the Developer tools and where do I find them? I must be either blind or use some different version than you.

argafal

[v_2e (v-2e)]

The easiest way to pull them up is to right click on something in a webpage (besides a link) and select "Inspect Element" ...if that isn't an option, then you need to enable them at Edit -> Preferences -> Behavior -> Enable developer tools and try again.

mcrittenden

[v_2e (v-2e)]

Mike, thanks :) I'll try to reproduce it, but so far I couldn't. Let me try after having the DevTools open a bit longer.

argafal