From 696b425c7170cfcca1e907b8b7b5cdf265dc15d5 Mon Sep 17 00:00:00 2001
From: Capocchi L <capocchi@univ-corse.fr>
Date: Fri, 9 Jul 2021 09:01:22 +0200
Subject: [PATCH] update

---
 PreferencesGUI.py | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/PreferencesGUI.py b/PreferencesGUI.py
index 52e84761..869ed16e 100644
--- a/PreferencesGUI.py
+++ b/PreferencesGUI.py
@@ -615,7 +615,9 @@ def OnUpdateExternalEditors(self, event):
 		for editor in EditorPanel.EDITORS:
 			if self.choice.FindString(editor) == wx.NOT_FOUND and install(editor):
 				installed = True
-				self.choice.SetString(self.choice.GetCount()+1, editor)
+				items = self.choice.GetItems()+[editor]
+				self.choice.SetItems(items)
+				# self.choice.SetString(self.choice.GetCount()+1, editor)
 
 		if installed:
 			msg = _('You need to restart DEVSimPy to use the new installed code editor.')