void showPluginList(const Engine& engine)
    {
        DialogWindow::LaunchOptions o;
        o.dialogTitle = translate("Plugins");
        o.dialogBackgroundColour = LookAndFeel::getDefaultLookAndFeel().findColour(ResizableWindow::backgroundColourId);
        o.escapeKeyTriggersCloseButton = true;
        o.useNativeTitleBar = true;
        o.resizable = true;
        o.useBottomRightCornerResizer = true;

        auto deadMansPedalFile = getAppProperties().getUserSettings()
            ->getFile().getSiblingFile("RecentlyCrashedPluginsList");

        auto v = new PluginListComponent(engine.getPluginManager().pluginFormatManager,
            engine.getPluginManager().knownPluginList,
            deadMansPedalFile,
            getAppProperties().getUserSettings(), true);
        v->setSize(800, 600);
        o.content.setOwned(v);
        o.launchAsync();
    }