I am very suspicious about the original commit to trunk by the way
(Why is signed int wrong in one place and right in the others?
 Could be, but really looks unlikely to me)

Please retain the branch alive at least until 0.9.0 is out (if ever);
you can still tag release individually

Hopefully, we won't run short of letters
(but we still have 0.8.7a-0.8.9z too, which means 100+ possible releases)

For some unknown reason, wxwidgets 2.6.3 always return WXK_NUMPAD_DELETE 
even in case normal Delete key was pressed

* update ChangeLog

* Update NEWS just a tad
* Update contrib in INSTALL.win32

If someone has a better idea, please tell me. This only occurs when doing SDK contrib compilation, so it's a bit weird.

solves the /usr/bin/ld: ./extras/contrib/lib/libx264.a(encoder.o) has local relocation entries in non-writable section (__TEXT,__text)
collect2: ld returned 1 exit status

* enable sdk on contrib again

- mozilla: reduce the number of supported mime-types to avoid clashing with other plugins (Win32 & MacOS X only)

  refs #880

(there might be other occurences of the same problem)
closes #880

  This might not fix it, but it surely should eleviate the problem.

* Don't hide if the mousepointer is over the fspanel