piano-midi-monitor/src/services/messages.json

{
  "SPAN": "Span",
  "DETAIL_SCALE_FACTOR": "Detail Scale Factor",
  "DEBUG": "Debug",
  "VIEW": "View",
  "THEME": "Theme",
  "BASE": "Base",
  "HIGHLIGHT": "Highlight",
  "DEFAULT": "Default",
  "NONE": "None",
  "INVERSE": "Inverse",
  "REDDISH": "Tomato",
  "YELLOWISH": "Gold",
  "GREENISH": "Lime",
  "BLUISH": "Cerulean",
  "PURPLISH": "Mauve"
}