Paul > the color should not be hardcoded! (what if a theme use that grey as default background color). Instead, we should use the inactive color of the theme or make the default color lighter.
Paul > the color should not be hardcoded! (what if a theme use that grey as default background color). Instead, we should use the inactive color of the theme or make the default color lighter.