Subject says it all. Had a pretty long discussion (still ongoing), with Allan Day (gnome3) and Patryk Zawadzki (my co-hamsterer), both insisting on “leaving shell alone”. So decided to move the extension [back] to github – i will be certainly working on it more.

The official integration will go through the notification area.

About these ads