mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Merge remote-tracking branch 'origin/master'
This commit is contained in:
@@ -1587,36 +1587,6 @@
|
||||
<option name="ERROR_STRIPE_COLOR" />
|
||||
</value>
|
||||
</option>
|
||||
<option name="PHP_EXEC_COMMAND_ID">
|
||||
<value>
|
||||
<option name="FOREGROUND" value="a5c25c" />
|
||||
<option name="BACKGROUND" value="5e6465" />
|
||||
<option name="FONT_TYPE" value="0" />
|
||||
<option name="EFFECT_COLOR" />
|
||||
<option name="EFFECT_TYPE" value="0" />
|
||||
<option name="ERROR_STRIPE_COLOR" />
|
||||
</value>
|
||||
</option>
|
||||
<option name="PHP_SCRIPTING_BACKGROUND">
|
||||
<value>
|
||||
<option name="FOREGROUND" />
|
||||
<option name="BACKGROUND" value="444444" />
|
||||
<option name="FONT_TYPE" value="0" />
|
||||
<option name="EFFECT_COLOR" />
|
||||
<option name="EFFECT_TYPE" value="0" />
|
||||
<option name="ERROR_STRIPE_COLOR" />
|
||||
</value>
|
||||
</option>
|
||||
<option name="PHP_VAR">
|
||||
<value>
|
||||
<option name="FOREGROUND" value="bf5553" />
|
||||
<option name="BACKGROUND" />
|
||||
<option name="FONT_TYPE" value="0" />
|
||||
<option name="EFFECT_COLOR" />
|
||||
<option name="EFFECT_TYPE" value="0" />
|
||||
<option name="ERROR_STRIPE_COLOR" />
|
||||
</value>
|
||||
</option>
|
||||
<option name="PROPERTIES.INVALID_STRING_ESCAPE">
|
||||
<value>
|
||||
<option name="FOREGROUND" value="ffc66d" />
|
||||
|
||||
+2
-2
@@ -1,5 +1,5 @@
|
||||
/*
|
||||
* Copyright 2000-2012 JetBrains s.r.o.
|
||||
* Copyright 2000-2013 JetBrains s.r.o.
|
||||
*
|
||||
* Licensed under the Apache License, Version 2.0 (the "License");
|
||||
* you may not use this file except in compliance with the License.
|
||||
@@ -718,7 +718,7 @@ public class TypesUtil {
|
||||
GlobalSearchScope resolveScope = context.getResolveScope();
|
||||
|
||||
PsiClass setClass = facade.findClass(JAVA_UTIL_SET, resolveScope);
|
||||
if (setClass != null) {
|
||||
if (setClass != null && setClass.getTypeParameters().length == 1) {
|
||||
return facade.getElementFactory().createType(setClass, type);
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user