diff sat_frontends/primitivus/primitivus @ 3001:ce52ac2fe213

primitivus: don't focus on new widget if one is already selected: new widgets were getting focus even when one was already selected. fix 326
author Goffi <goffi@goffi.org>
date Sun, 14 Jul 2019 11:23:23 +0200
parents 93dfbeb41da8
children d86cddc1cd05
line wrap: on
line diff
--- a/sat_frontends/primitivus/primitivus	Fri Jul 12 11:29:05 2019 +0200
+++ b/sat_frontends/primitivus/primitivus	Sun Jul 14 11:23:23 2019 +0200
@@ -643,7 +643,8 @@
     def newWidget(self, widget):
         # FIXME: when several widgets are possible (e.g. with :split)
         #        do not replace current widget when self.selected_widget != None
-        self.selectWidget(widget)
+        if self.selected_widget is None:
+            self.selectWidget(widget)
 
     def selectWidget(self, widget):
         """Display a widget if possible,