Summary: | Man pages plugin broken | ||
---|---|---|---|
Product: | [Applications] kdevelop | Reporter: | Gregor Mi <codestruct> |
Component: | general | Assignee: | kdevelop-bugs-null |
Status: | RESOLVED FIXED | ||
Severity: | major | ||
Priority: | VHI | ||
Version: | 5.0.0 | ||
Target Milestone: | 5.0.1 | ||
Platform: | Other | ||
OS: | Linux | ||
Latest Commit: | http://commits.kde.org/kdevplatform/9d73ce1523b75ee6f294a749bbcd2243cf59f19a | Version Fixed In: | 5.0.1 |
Sentry Crash Report: |
Description
Gregor Mi
2016-09-05 09:47:23 UTC
Related patch: https://phabricator.kde.org/D2618 On it... Git commit 9d73ce1523b75ee6f294a749bbcd2243cf59f19a by Kevin Funk. Committed on 07/09/2016 at 06:51. Pushed by kfunk into branch 'c0e4c85'. Fix PluginController::isEnabled Make sure to respect user decisions about which plugin are supposed to be loaded. One problem to that: We can't change the 'enabled by default' property 'under the hood'. If the user loads a session, the plugin's activation state is persisted in the session settings and preferred then. If we were to change a plugin's 'enabled by default' property from false to true; the user would still need to activate it himself. I don't think that's an issue for us, though. Differential Revision: D2618 FIXED-IN: 5.0.1 M +18 -5 shell/plugincontroller.cpp http://commits.kde.org/kdevplatform/9d73ce1523b75ee6f294a749bbcd2243cf59f19a |