Ubuntu
gnome-shell package

  1. Bug #1690719
  2. Comment #63

Comment 63 for bug 1690719

Revision history for this message
In , Geecko-dev (geecko-dev) wrote :

Well the gnome-shell codebase is 6 years old now. It would be a huge task to rewrite it entirely and it doesn't matter anyway, because this is not the real issue. Plus it would break user extensions.