Per sketch properties

I've added the following request to Arduino Playground - HomePage

Per sketch properties. When opening SKETCH.pde, add the properties from SKETCH.properties. It's an easy change. If given the "go-ahead" I'd be glad to do it myself.

Can you post this to the developers mailing list, with a description of the use cases you have in mind?