- Implement FileExternallyDeletedEvent handling with visual feedback
via "file-deleted" CSS class on tabs
- Fix drag-and-drop to properly handle URI data
- Improve SourceFile.load() to use freeze_notify and proper buffer
replacement instead of cursor insertion
- Add Developer Tools context menu option to WebKit view
- Relocate webkit_ui_settings from settings/other to settings/webkit