binaryninja-api
binaryninja-api copied to clipboard
plugin manager should reload command palette after loading plugins
Loading a new plugin will sometimes make that plugin available via the command-palette and sometimes not. The Plugin Manager should do this itself.