{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"self.draw_line_num(buffer,"}]}
        self.draw_line_num(buffer, line_index, line_offset, width_offset - 3);
        }
        self.draw_col_separator_no_space(buffer, line_offset, width_offset - 2);