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