zpydr/gnome-shell-extension-taskbar — pull request #31 by ionuke (2014-01-07 02:26:29+00:00)
Title: Adding labels to the tasks buttons

![selection_001](https://f.cloud.github.com/assets/6335290/1856053/dff09f96-7742-11e3-8019-7d59dcac3424.png)

To-Do: integrate these changes into preferences panel, so the user can enable and disable the appearance of labels in the tasks buttons.