Mirrors/eepp
1
0
Fork 0
mirror of https://github.com/SpartanJ/eepp.git synced 2026-05-30 01:56:31 +03:00
Code Issues Packages Projects Releases Wiki Activity

ecode: Added codicon to support completion symbols icons.

Browse Source 
Improved auto-complete plugin and several fixes. Implementing signature help.
This commit is contained in:
Martín Lucas Golini
2022-11-11 03:17:41 -03:00
parent 8722518986
commit 4f2c0e15af
24 changed files with 619 additions and 215 deletions
Download Patch File Download Diff File Expand all files Collapse all files

55
src/tools/ecode/plugins/pluginmanager.cpp
View File

@@ -41,7 +41,10 @@ bool PluginManager::setEnabled( const std::string& id, bool enable ) {
}
if ( !enable && plugin != nullptr ) {
eeSAFE_DELETE( plugin );
mSubscribedPlugins.erase( id );
{
Lock l( mSubscribedPluginsMutex );
mSubscribedPlugins.erase( id );
}
mPlugins.erase( id );
}
return false;
@@ -111,10 +114,15 @@ void PluginManager::setWorkspaceFolder( const std::string& workspaceFolder ) {
PluginRequestHandle PluginManager::sendRequest( UICodeEditorPlugin* pluginWho,
PluginMessageType type, PluginMessageFormat format,
const void* data ) const {
const void* data ) {
if ( mClosing )
return PluginRequestHandle::empty();
for ( const auto& plugin : mSubscribedPlugins ) {
SubscribedPlugins subscribedPlugins;
{
Lock l( mSubscribedPluginsMutex );
subscribedPlugins = mSubscribedPlugins;
}
for ( const auto& plugin : subscribedPlugins ) {
if ( pluginWho->getId() != plugin.first ) {
auto handle = plugin.second( { type, format, data } );
if ( !handle.isEmpty() )
@@ -126,36 +134,50 @@ PluginRequestHandle PluginManager::sendRequest( UICodeEditorPlugin* pluginWho,
void PluginManager::sendResponse( UICodeEditorPlugin* pluginWho, PluginMessageType type,
PluginMessageFormat format, const void* data,
const PluginIDType& responseID ) const {
const PluginIDType& responseID ) {
if ( mClosing )
return;
for ( const auto& plugin : mSubscribedPlugins )
SubscribedPlugins subscribedPlugins;
{
Lock l( mSubscribedPluginsMutex );
subscribedPlugins = mSubscribedPlugins;
}
for ( const auto& plugin : subscribedPlugins )
if ( pluginWho->getId() != plugin.first )
plugin.second( { type, format, data, responseID } );
}
void PluginManager::sendBroadcast( UICodeEditorPlugin* pluginWho, PluginMessageType type,
PluginMessageFormat format, const void* data ) const {
PluginMessageFormat format, const void* data ) {
if ( mClosing )
return;
for ( const auto& plugin : mSubscribedPlugins )
SubscribedPlugins subscribedPlugins;
{
Lock l( mSubscribedPluginsMutex );
subscribedPlugins = mSubscribedPlugins;
}
for ( const auto& plugin : subscribedPlugins )
if ( pluginWho->getId() != plugin.first )
plugin.second( { type, format, data, -1 } );
}
void PluginManager::subscribeMessages(
UICodeEditorPlugin* plugin,
std::function<PluginRequestHandle( const PluginMessage& )> cb ) const {
const_cast<PluginManager*>( this )->mSubscribedPlugins[plugin->getId()] = cb;
UICodeEditorPlugin* plugin, std::function<PluginRequestHandle( const PluginMessage& )> cb ) {
{
Lock l( mSubscribedPluginsMutex );
mSubscribedPlugins[plugin->getId()] = cb;
}
if ( !mWorkspaceFolder.empty() ) {
json data{ { "folder", mWorkspaceFolder } };
cb( { PluginMessageType::WorkspaceFolderChanged, PluginMessageFormat::JSON, &data } );
}
}
void PluginManager::unsubscribeMessages( UICodeEditorPlugin* plugin ) const {
if ( !mClosing )
const_cast<PluginManager*>( this )->mSubscribedPlugins.erase( plugin->getId() );
void PluginManager::unsubscribeMessages( UICodeEditorPlugin* plugin ) {
if ( !mClosing ) {
Lock l( mSubscribedPluginsMutex );
mSubscribedPlugins.erase( plugin->getId() );
}
}
void PluginManager::setSplitter( UICodeEditorSplitter* splitter ) {
@@ -166,7 +188,12 @@ void PluginManager::sendBroadcast( const PluginMessageType& notification,
const PluginMessageFormat& format, void* data ) {
if ( mClosing )
return;
for ( const auto& plugin : mSubscribedPlugins )
SubscribedPlugins subscribedPlugins;
{
Lock l( mSubscribedPluginsMutex );
subscribedPlugins = mSubscribedPlugins;
}
for ( const auto& plugin : subscribedPlugins )
plugin.second( { notification, format, data } );
}