-
This commit is a minor and optional enhancement of the WnckTasklist widget. It allows to disable scrolling of the tasklist. By default scrolling on the tasklist is enabled. The behavior might be configured by calling wnck_tasklist_set_scroll_enabled. https://bugzilla.gnome.org/show_bug.cgi?id=402528
3526d6df