EDITOR_RIGHT_MARGIN_COLOR  131 lib/skin/colors.c     { EDITOR_RIGHT_MARGIN_COLOR, "editor", "editrightmargin" },
EDITOR_RIGHT_MARGIN_COLOR  410 src/editor/editdraw.c             tty_setcolor (EDITOR_RIGHT_MARGIN_COLOR);
EDITOR_RIGHT_MARGIN_COLOR  421 src/editor/editdraw.c                 tty_setcolor (EDITOR_RIGHT_MARGIN_COLOR);
EDITOR_RIGHT_MARGIN_COLOR  479 src/editor/editdraw.c                 tty_setcolor (EDITOR_RIGHT_MARGIN_COLOR);