improve naming of column icons, introduce not-quite-neutral icon for unknown junk...
[themes.git] / EarlyBlue / editor / icons / numbers-disabled.gif
EarlyBlue/editor/icons/numbers-disabled.gif