public void updateContext(DrawContext ctx) {
Coloring c =
(Coloring) stringMap.get(ctx.getBuffer(), ctx.getTokenOffset(), ctx.getTokenLength());
if (c != null) {
c.apply(ctx);
}
}
public void updateContext(DrawContext ctx) {
if (coloring == null) {
coloring = ctx.getEditorUI().getColoring(SettingsNames.INC_SEARCH_COLORING);
}
if (coloring != null) {
coloring.apply(ctx);
}
}
public void updateContext(DrawContext ctx) {
if (coloring == null) {
coloring = getColoring(ctx);
}
if (coloring != null) {
coloring.apply(ctx);
}
}
public void updateContext(DrawContext ctx) {
int pos = ctx.getFragmentOffset();
if (pos >= blocks[curInd] && pos < blocks[curInd + 1]) {
if (coloring == null) {
coloring = ctx.getEditorUI().getColoring(SettingsNames.HIGHLIGHT_SEARCH_COLORING);
}
if (coloring != null) {
coloring.apply(ctx);
}
}
}
public void updateContext(DrawContext ctx) {
// Get the token type and docColorings
TokenID tokenID = ctx.getTokenID();
TokenContextPath tcp = ctx.getTokenContextPath();
if (tokenID != null && tcp != null) {
// Get the coloring according the name of the token
String fullName = tcp.getFullTokenName(tokenID);
Coloring c = ctx.getEditorUI().getColoring(fullName);
if (c != null) {
c.apply(ctx);
} else { // Token coloring null, try category
TokenCategory cat = tokenID.getCategory();
if (cat != null) {
fullName = tcp.getFullTokenName(cat);
c = ctx.getEditorUI().getColoring(fullName);
if (c != null) {
c.apply(ctx);
}
}
}
}
}
