Option 1 looks good, but I'd rather like to avoid having options. First, icons aren't enough to distinguish between toolviews. People are able to read text better than icons. Second, too much space is "visually wasted" if we leave only icons. Third, I don't like the idea of having too many UI settings. Nobody tweaks them, so only default settings matter.