GitPlugin: Allow to ammend last commit. Improved thread safety. Reduced some calls.

This commit is contained in:
Martín Lucas Golini
2024-01-27 13:00:07 -03:00
parent 76e2026ed7
commit f0d7e4644f
14 changed files with 137 additions and 47 deletions

View File

@@ -53,7 +53,7 @@ FormatterPlugin::~FormatterPlugin() {
mWorkerCondition.wait( lock, [this]() { return mWorkersCount <= 0; } );
}
for ( auto editor : mEditors ) {
for ( auto& editor : mEditors ) {
for ( auto& kb : mKeyBindings ) {
editor.first->getKeyBindings().removeCommandKeybind( kb.first );
if ( editor.first->hasDocument() )