Copy the fix from app/gui/themes.c to libgimp/gimpui.c so insensitive labels look right in plug-ins too.