"Edit in TexMate" stopped working a long time ago in WebKit nighties, so I guess it's a change, not a bug. I really hope this can be fixed. -- FredB