@ParametersAreNonnullByDefault
public interface CaretsProfileCapableCodeAreaPainter
| Modifier and Type | Method and Description |
|---|---|
ExtendedCodeAreaCaretsProfile |
getCaretsProfile() |
void |
setCaretsProfile(ExtendedCodeAreaCaretsProfile profile) |
@Nonnull ExtendedCodeAreaCaretsProfile getCaretsProfile()
void setCaretsProfile(ExtendedCodeAreaCaretsProfile profile)