From 77b5ee7287a6e44e5b886b971a64d03a9840f88b Mon Sep 17 00:00:00 2001
From: dblouin <dominique.blouin@telecom-paristech.fr>
Date: Mon, 4 Feb 2019 17:02:54 +0100
Subject: [PATCH] Made search text field private and added accessors for its
text
---
src/main/java/ui/TDiagramMouseManager.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/java/ui/TDiagramMouseManager.java b/src/main/java/ui/TDiagramMouseManager.java
index 7b02eca06d..80ac8bbcb4 100644
--- a/src/main/java/ui/TDiagramMouseManager.java
+++ b/src/main/java/ui/TDiagramMouseManager.java
@@ -369,7 +369,7 @@ public class TDiagramMouseManager extends MouseAdapter {//implements MouseListen
tgc = tdp.componentPointed();
//set text of seach field on menubar
- tdp.mgui.getMainBar().search.setText(tgc.getValue());
+ tdp.mgui.getMainBar().setSearchText(tgc.getValue());
if ( null == tdp.mgui.searchBox || ! tdp.mgui.searchBox.isShowing()){
selectedMultiComponents.add(tgc.getValue());
--
GitLab