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); } } } } }