Added support for profiles to the KDevelop shell.
This shell now can be easily used in all applications built on KDevelop platform. Shell customisation is done by ShellExtension class. kdevshell library is installed and necessary headers are available from $(includedir)/kdevelop/shell. Profiles support makes it possible to get rid of TopLevel::mode hack and use _real_ profile for kdevassistant application (KDevAssistant profile, actually). KDevelop IDE uses "KDevelop" profile by default and therefore loads all available plugins. This may change in the near future. To edit profiles, use kdevprofileeditor program. To launch applications, use --profile argument, for example: "kdevelop --profile KDECppIDE" or "kdevelop --profile RubyIDE". "kdevelop" equals to "kdevelop --profile KDevelop" "kdevassistant" equals to "kdevassistant --profile KDevAssistant" What does not currently work: global plugins configuration page shows plugins but does not allow to unload them; profiles are not switched when a project is loaded, we need to implement a method to switch the profile; plugins do not have a way to react on profile changes or to get a current profile. CCMAIL: email@example.com CCMAIL: firstname.lastname@example.org
Showing with 416 additions and 135 deletions