Je pense que les gens de Gnome estiment que l'accessibilité est assez importante pour faire parti du coeur de gnome-shell. Et attendre d'avoir une exception implique d'avoir une API pour les extensions ce qui n'existent pas encore pour le moment. Donc plutot que de dire "on oublie l'accessibilité jusqu'à ce qu'on puisse avoir une extension en 2012", ben ils ont mis ça dans le core.
Gnome-shell n'a pas pour vocation non plus à suivre un design de micro noyau :)
[^] # Re: Trolledi indeed
Posté par Misc (site web personnel) . En réponse au journal Un site d'extensions pour GNOME-shell. Évalué à 1.
Je pense que les gens de Gnome estiment que l'accessibilité est assez importante pour faire parti du coeur de gnome-shell. Et attendre d'avoir une exception implique d'avoir une API pour les extensions ce qui n'existent pas encore pour le moment. Donc plutot que de dire "on oublie l'accessibilité jusqu'à ce qu'on puisse avoir une extension en 2012", ben ils ont mis ça dans le core.
Gnome-shell n'a pas pour vocation non plus à suivre un design de micro noyau :)