979899100101102103
plugin_config = pi.getPluginconfig(); key_prefix = plugin_config.getPluginConfigKeyPrefix(); table_manager = new TableManagerImpl( this ); menu_manager = new MenuManagerImpl( this ); }