Improve terminal search box (#3064)

Uses exsting JEI filter in JEI mode. Preselects text for easy delete/change without using rightclick. QoL improvements for focus handling.
2017-09-16 17:44:16 +02:00
parent 54c0ce43ea
commit 4dd0a4cd96
7 changed files with 87 additions and 45 deletions
@@ -194,7 +194,7 @@ public class ItemRepo
 				notDone = false;
 			}

-			if( terminalSearchToolTips && notDone )
+			if( terminalSearchToolTips && notDone && !searchMod )
 			{
 				for( final Object lp : Platform.getTooltip( is ) )
 				{