Hi Dave
I am ready to push a pull request to implement dimmed icons in grib_pi control bar This imply modifying plugins API to give access to the "BuildDimmedToolBitmap" function.
I want not disrupt the 4.2 release ( this change is not crucially important ),
so I ask you what's your choice : apply or postpone to the next version ?
Regards
Jean Pierre