Plugin preferences configuration WIP.

This commit is contained in:
Martín Lucas Golini
2022-09-28 02:17:33 -03:00
parent 40f005b256
commit 3d3d9057e0
7 changed files with 173 additions and 75 deletions

View File

@@ -1787,7 +1787,14 @@ void App::updateTerminalMenu() {
}
void App::createPluginManagerUI() {
UIPluginManager::New( mUISceneNode, mPluginManager.get() )->showWhenReady();
UIPluginManager::New( mUISceneNode, mPluginManager.get(), [&]( const std::string& path ) {
UITab* tab = mSplitter->isDocumentOpen( path );
if ( !tab ) {
loadFileFromPath( path );
} else {
tab->getTabWidget()->setTabSelected( tab );
}
} )->showWhenReady();
}
void App::updateDocumentMenu() {