OK. Thanks for redirection... I'll collect some info. If it is not possible I think it is good feature to recommend for developers. Logically it seems to be better to handle hotkeys after release: there could be more hotkeys available. _______________________________________________ Usability mailing list [email protected] http://mail.gnome.org/mailman/listinfo/usability
