gephi/gephi — Issue #476: Filter button aspect
Author: sheymann
Created: 2011-11-18 22:04:37+00:00
State: open

We should change the button title and icon of "Filter" when a filter is activated