show_right_margin  104 src/editor/edit.c     .show_right_margin = FALSE,
show_right_margin   60 src/editor/edit.h     gboolean show_right_margin;
show_right_margin  825 src/editor/editcmd.c     edit_options.show_right_margin = !edit_options.show_right_margin;
show_right_margin  410 src/editor/editdraw.c         if (!edit_options.show_right_margin || wrap_start > end_col)
show_right_margin  480 src/editor/editdraw.c         if (edit_options.show_right_margin)
show_right_margin  359 src/setup.c        { "editor_show_right_margin", &edit_options.show_right_margin },