comparison: src/plugins.c
src/plugins.c
- changeset 2280
- b52bf81539dd
- parent 2274
- fae7a1145529
- child 2345
- 2d59281e13fd
equal
deleted
inserted
replaced
| 2279:cc559f70f88f | 2280:b52bf81539dd |
|---|---|
| 513 | 513 |
| 514 /* Load */ | 514 /* Load */ |
| 515 load_plugin(file); | 515 load_plugin(file); |
| 516 | 516 |
| 517 /* Try and reselect the plugin in list */ | 517 /* Try and reselect the plugin in list */ |
| 518 if (!pluglist) | |
| 519 return; | |
| 518 plugs = plugins; | 520 plugs = plugins; |
| 519 while (plugs) { | 521 while (plugs) { |
| 520 plug = plugs->data; | 522 plug = plugs->data; |
| 521 if (!strcmp(file, g_module_name(plug->handle))) { | 523 if (!strcmp(file, g_module_name(plug->handle))) { |
| 522 gtk_list_select_item(GTK_LIST(pluglist), g_list_index(plugins, plug)); | 524 gtk_list_select_item(GTK_LIST(pluglist), g_list_index(plugins, plug)); |
