Searched refs:isStrikethroughByDefault (Results 1 – 2 of 2) sorted by relevance
62 public boolean isStrikethroughByDefault() { in isStrikethroughByDefault() method in SemanticHighlighting
1186 public boolean isStrikethroughByDefault() { in isStrikethroughByDefault() method in SemanticHighlightings.DeprecatedMemberHighlighting2170 …StrikethroughPreferenceKey(semanticHighlighting), semanticHighlighting.isStrikethroughByDefault()); in initDefaults()