On Sun, Aug 03, 2014 at 12:59:46PM +1200, Chris Bannister wrote:
> On Sat, Aug 02, 2014 at 10:12:22AM +0100, Dominik Vogt wrote:
> > On Fri, Aug 01, 2014 at 10:04:51PM +0200, Walter Alejandro Iglesias wrote:
> > > On Fri, Aug 01, 2014 at 05:25:40PM +0100, Dominik Vogt wrote:
> > > > And I also noti
Hello guys,
Searching for a way to preserve icon styles on IconMan while hovering it
with the mouse I've found this:
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=529036
I've downloaded the diff file:
https://bugs.debian.org/cgi-bin/bugreport.cgi?msg=5;filename=FvwmInconMan-IconAndSelect.di
