IDE extensions