diff --git a/org.eclipse.titan.designer/src/org/eclipse/titan/designer/editors/Stylers.java b/org.eclipse.titan.designer/src/org/eclipse/titan/designer/editors/Stylers.java index 66d1422f780ac370d94d3bad24ad69a1a8c22df4..c99989b8be6997426aa6cb3bc6308cf2cb84c1c6 100755 --- a/org.eclipse.titan.designer/src/org/eclipse/titan/designer/editors/Stylers.java +++ b/org.eclipse.titan.designer/src/org/eclipse/titan/designer/editors/Stylers.java @@ -73,6 +73,16 @@ public class Stylers { } } + public static class StrikethroughStyler extends Styler { + @Override + public void applyStyles(TextStyle textStyle) { + FontData fontData = JFaceResources.getDefaultFont().getFontData()[0]; + Font f = new Font(Display.getDefault(), fontData); + textStyle.font = f; + textStyle.strikeout = true; + } + } + public static class ColoredStyler extends Styler { private final Color color; private int style; diff --git a/org.eclipse.titan.designer/src/org/eclipse/titan/designer/editors/ttcn3editor/OutlineStyledLabelProvider.java b/org.eclipse.titan.designer/src/org/eclipse/titan/designer/editors/ttcn3editor/OutlineStyledLabelProvider.java index d68ff267c8e22206a55695aaa90394709c328da9..8fa3a26391f3a16793ffbc2262fa2d80106a76ab 100755 --- a/org.eclipse.titan.designer/src/org/eclipse/titan/designer/editors/ttcn3editor/OutlineStyledLabelProvider.java +++ b/org.eclipse.titan.designer/src/org/eclipse/titan/designer/editors/ttcn3editor/OutlineStyledLabelProvider.java @@ -123,8 +123,12 @@ public final class OutlineStyledLabelProvider extends DelegatingStyledCellLabelP private StyledString getStyledText(Object element, String text) { final StyledString styledOutline = new StyledString(); + boolean isDeprecated = false; if (element instanceof Definition) { final Definition elemDef = (Definition)element; + if (elemDef.hasDocumentComment() && elemDef.getDocumentComment().isDeprecated()) { + isDeprecated = true; + } if (isInClassBody(elemDef.getMyScope())) { Stylers.ColoredStyler styler = null; switch (elemDef.getVisibilityModifier()) { @@ -142,7 +146,11 @@ public final class OutlineStyledLabelProvider extends DelegatingStyledCellLabelP } } if (styledOutline.length() == 0) { - styledOutline.append(text); + if (isDeprecated) { + styledOutline.append(text, new Stylers.StrikethroughStyler()); + } else { + styledOutline.append(text); + } } return styledOutline; }