From 7459275a68e7cdb58f7dd7436ef7b6b095599db1 Mon Sep 17 00:00:00 2001
From: Goffi <goffi@goffi.org>
Date: Sun, 14 Jul 2019 11:23:23 +0200
Subject: [PATCH] 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
---
 sat_frontends/primitivus/primitivus | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/sat_frontends/primitivus/primitivus b/sat_frontends/primitivus/primitivus
index 3f43808d..c9566f1c 100755
--- a/sat_frontends/primitivus/primitivus
+++ b/sat_frontends/primitivus/primitivus
@@ -643,7 +643,8 @@ class PrimitivusApp(QuickApp, InputHistory):
     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,