
  TYPE
    cst$page_attribute = record
      case key: cst$page_attribute_keys of
      = csc$page_color =
        color: cst$color_index,
      = csc$page_changed_text_mode =
        changed_text_mode: boolean,
      = csc$page_length =
        page_length:ift$page_length,
      = csc$page_tab_stops =
        tab_stops: cst$tab_stops,
      = csc$page_terminal_model =
        page_terminal_model: ift$terminal_model,
      = csc$page_width =
        page_width: ift$page_width,
      = csc$page_leave_cursor =
        leave_cursor: boolean,
      = csc$page_event_style =
        event_style: cst$page_event_style,
      = csc$left_mouse_button =
        left_button: integer,
      = csc$menubar_file =
        menubar_enabled: boolean,
        menubar_file: amt$local_file_name,
      = csc$right_mouse_button =
        right_button: integer,
      = csc$menu_rows_displayed =
        menu_rows_displayed: cst$number_of_menu_rows,
      = csc$mouse_reclick_request =
        mouse_reclick_request: boolean,
      casend,
    recend;

?? PUSH (LISTEXT := ON) ??
*copyc cst$page_attribute_keys
*copyc cst$color_index
*copyc cst$tab_stops
*copyc cst$page_event_style
*copyc amt$local_file_name
*copyc cst$number_of_menu_rows
*copyc ift$terminal_attribute_types
*copyc ift$terminal_model
?? POP ??
