Source formatting is a feature seemingly only used by some.
So it makes sense to allow disabling this feature, for some minimal smaller
runtime footprint and less unused clutter in the UI (like menu actions or
This patch achieves this to a good degree:
- makes the plugins astyle & customscript normal global plugins which can be enabled/disabled by the user
- removes the SourceFormatterController actions from the menus when there are no formatters available
- shows no source formatting settings page in the project settings when there are no formatters available
Not yet done is to hide the source formatting settings page from the
application settings dialog in case no formatters are available. That might
need some more custom logic all over the shell code, which is not so nice.
Instead the option should be investigated to make the source formatting
controller a normal plugin with a suited interface, which then can be
queried by other code needing that service.