Code

Label coloring#51

Code

Merged

privat merged 4 commits intomasterrarsm/rars:masterfrom label_coloringrarsm/rars:label_coloringCopy head branch name to clipboardJul 15, 2024

+58-10

Commits

Commits on Jul 11, 2024

• tokenmarker: new method updated to track document change

  privat

  committed
  a5bdbd7

• KeywordMap: add lookup(String) and clear methods

  privat

  committed
  57114e6

• tokenmarker: colorize label usages

  privat

  committed
  2e755eb

• tokenmarker: remove commented out code

  privat

  committed
  83a1af8