Re: [Gtkwave-users] GTKWave "not looking right" on a new install

[Sylvain M. <24...@gm...>]

So all in all, I ended up with the following patch. This restore a
feel I like much better.
Attached here just in case other people also prefer this compact style.
I ended up not bothering with the icons just because I spend enough
time on this already.

Cheers,

     Sylvain