| Index: editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/text/editor/ElementLabelProvider_NEW.java
|
| diff --git a/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/text/editor/ElementLabelProvider_NEW.java b/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/text/editor/ElementLabelProvider_NEW.java
|
| index 79e5ea19e5d35e9a1e7f4db97cb27fe1af9b81ab..7d1c45d8700687bd84de09df1d5480c7ea12757b 100644
|
| --- a/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/text/editor/ElementLabelProvider_NEW.java
|
| +++ b/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/text/editor/ElementLabelProvider_NEW.java
|
| @@ -132,8 +132,12 @@ public class ElementLabelProvider_NEW extends LabelProvider implements
|
|
|
| @Override
|
| public StyledString getStyledText(Object obj) {
|
| + return getStyledText(obj, getText(obj));
|
| + }
|
| +
|
| + public StyledString getStyledText(Object obj, String text) {
|
| Element element = (Element) obj;
|
| - StyledString styledString = new StyledString(getText(obj));
|
| + StyledString styledString = new StyledString(text);
|
| // append parameters
|
| String parameters = element.getParameters();
|
| if (parameters != null) {
|
|
|