Ticket #50008: patch-no-plugin-unload.diff

File patch-no-plugin-unload.diff, 402 bytes (added by RJVB (René Bertin), 8 years ago)

  • katepluginmanager.cpp

    old new  
    4848
    4949KatePluginManager::~KatePluginManager()
    5050{
    51     // than unload the plugins
    52     unloadAllPlugins();
     51    // don't unload the plugins because that's prone to crashing
     52//     unloadAllPlugins();
    5353}
    5454
    5555void KatePluginManager::setupPluginList()