That's perfectly OK, I only asked - in fact, I have asked for this particular feature only because it seems very simple to implement (one more value for already existing configuration parameter + few more C statements to determine if disk icon should be displayed)... at least from the point of view of someone, who didn't see the Workbench 3.9 source code
