[PATCH] User manual: Filter panel

Dirk Hohndel dirk at hohndel.org
Sun Nov 16 23:30:24 PST 2014


On Mon, Nov 17, 2014 at 07:22:22AM +0000, Dirk Hohndel wrote:
> I'll take this - but we REALLY, REALLY need different icons for Reset /
> Hide / Close in the filter panel. The ones we have are completely
> meaningless.

Oh, I also modified your filter text a little bit. Please check what I
just pushed.

/D


More information about the subsurface mailing list