# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1563096203 -7200
# Node ID ce52ac2fe213d51f0a17741c6e0bca1a479e78fc
# Parent  d603550d5e99cc8e6d3c87d6d661215a55873634
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

diff -r d603550d5e99 -r ce52ac2fe213 sat_frontends/primitivus/primitivus
--- 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,