don't create global hotkeys tab in preferences unless there's hotkeys plugin

1 files changed, 3 insertions, 0 deletions

diff --git a/plugins.h b/plugins.h
index 3f3db11c..70a93249 100644
--- a/plugins.h
+++ b/plugins.h
@@ -133,6 +133,9 @@ plug_free_decoder_ids (void);
 DB_decoder_t *
 plug_get_decoder_for_id (const char *id);
 
+DB_plugin_t *
+plug_get_for_id (const char *id);
+
 int
 plug_is_local_file (const char *fname);