Is there currently a way to read application preferences? Or, if the configuration API already allows that, is there a list of keys?
It would be really nice to be able to base some extension configuration (e.g. spaces vs. tabs for a formatter ) on what the user has selected in the app preferences.