code: public static Color disable(Color color) {
          int alpha = color.getAlpha();
  
          alpha /= 2;
  
          return new Color((color.getRGB() & 0xFFFFFF) | (alpha << 24), true);
      }
docs: Rossi: used in slider ui "paint ticks".