~diodon-team/diodon/zeitgeist-storage

« back to all changes in this revision

Viewing changes to libdiodon/controller.vala

  • Committer: Oliver Sauder
  • Date: 2013-11-22 20:23:49 UTC
  • Revision ID: os@esite.ch-20131122202349-3in0u4ejzv8c3hqs
Shutdown extensions properly before exiting

Show diffs side-by-side

added added

removed removed

Lines of Context:
92
92
            preferences_view = new PreferencesView();                  
93
93
        }
94
94
        
95
 
        private void on_extension_added(Peas.ExtensionSet set, Peas.PluginInfo info, 
96
 
            Peas.Extension exten)
 
95
        private static void on_extension_added(Peas.ExtensionSet set, Peas.PluginInfo info, 
 
96
            Peas.Extension activatable)
97
97
        {
98
 
            ((Peas.Activatable)exten).activate();
 
98
            ((Peas.Activatable)activatable).activate();
99
99
        }
100
100
        
101
 
        private void on_extension_removed(Peas.ExtensionSet set, Peas.PluginInfo info, 
102
 
            Peas.Extension exten)
103
 
        {
104
 
            ((Peas.Activatable)exten).deactivate();
 
101
        private static void on_extension_removed(Peas.ExtensionSet set, Peas.PluginInfo info, 
 
102
            Peas.Extension activatable)
 
103
        {   
 
104
            ((Peas.Activatable)activatable).deactivate();
105
105
        }
106
106
        
107
107
        /**