Fix external editor button updates

Make sure the pop-up button is updated in both multiple editors modes.
This commit is contained in:
Lawrence Lee
2023-08-06 16:44:54 -07:00
parent 0052f08e94
commit 548907da34
6 changed files with 41 additions and 4 deletions

View File

@@ -24,6 +24,7 @@
#include "guiutils.h"
class EditorPanel;
class ExternalEditor;
class RTWindow;
class EditWindow :
@@ -66,6 +67,7 @@ public:
bool selectEditorPanel(const std::string &name);
bool closeOpenEditors();
bool isProcessing();
void updateExternalEditorWidget(int selectedIndex, const std::vector<ExternalEditor> &editors);
void updateToolPanelToolLocations(
const std::vector<Glib::ustring> &favorites, bool cloneFavoriteTools);