
  TYPE
    cst$page_attribute_keys = (csc$page_color, csc$page_changed_text_mode,
          csc$page_tab_stops, csc$page_leave_cursor, csc$page_event_style,
          csc$left_mouse_button, csc$menubar_file, csc$right_mouse_button,
          csc$menu_rows_displayed, csc$mouse_reclick_request,
          csc$page_length, csc$page_width, csc$page_terminal_model);
