EDITOR_RIGHT_MARGIN_COLOR  309 lib/skin/colors.c     EDITOR_RIGHT_MARGIN_COLOR = mc_skin_color_get ("editor", "editrightmargin");
EDITOR_RIGHT_MARGIN_COLOR  405 src/editor/editdraw.c             tty_setcolor (EDITOR_RIGHT_MARGIN_COLOR);
EDITOR_RIGHT_MARGIN_COLOR  416 src/editor/editdraw.c                 tty_setcolor (EDITOR_RIGHT_MARGIN_COLOR);
EDITOR_RIGHT_MARGIN_COLOR  474 src/editor/editdraw.c                 tty_setcolor (EDITOR_RIGHT_MARGIN_COLOR);