view etc/schema/xhtml-frames.rnc @ 108656:0b28d05fa415

Initial reimplementation of calculating line edge positions in bidi lines. dispextern.h (struct glyph_row): New members minpos and maxpos. (MATRIX_ROW_START_CHARPOS, MATRIX_ROW_START_BYTEPOS) (MATRIX_ROW_END_CHARPOS, MATRIX_ROW_END_BYTEPOS): Reference minpos and maxpos members instead of start.pos and end.pos, respectively. xdisp.c (display_line): Compare IT_CHARPOS with the position in row->start.pos, rather than with MATRIX_ROW_START_CHARPOS. (cursor_row_p): Use row->end.pos rather than MATRIX_ROW_END_CHARPOS. (try_window_reusing_current_matrix, try_window_id): Use ROW->minpos rather than ROW->start.pos. (init_from_display_pos, init_iterator): Use EMACS_INT for character and byte positions. (find_row_edges): Renamed from find_row_end. Accept additional arguments for minimum and maximum buffer positions seen by display_line for this row. Don't use iterator to find the position following the maximum one; instead, increment the position found by display_line directly. (display_line): Record minimum and maximum buffer positions for glyphs in this row. Record the position of the newline that terminates the line. dispnew.c (increment_row_positions, check_matrix_invariants): Increment and check row->start.pos and row->end.pos, in addition to MATRIX_ROW_START_CHARPOS and MATRIX_ROW_END_CHARPOS.
author Eli Zaretskii <eliz@gnu.org>
date Tue, 18 May 2010 18:22:15 +0300
parents 38f93f3d00a2
children
line wrap: on
line source

# Frames Module

include "xhtml-struct.rnc" {
  html = element html { html.attlist, head, frameset }
}
frameset =
  element frameset {
    frameset.attlist,
    ((frameset | frame)+ & noframes?)
  }
frameset.attlist =
  Core.attrib,
  attribute cols { MultiLength.datatype }?,
  attribute rows { MultiLength.datatype }?
frame = element frame { frame.attlist }
frame.attlist =
  Core.attrib,
  attribute longdesc { URI.datatype }?,
  attribute src { URI.datatype }?,
  attribute frameborder { "1" | "0" }?,
  attribute marginwidth { Pixels.datatype }?,
  attribute marginheight { Pixels.datatype }?,
  attribute noresize { "noresize" }?,
  attribute scrolling { "yes" | "no" | "auto" }?
noframes = element noframes { noframes.attlist, body }
noframes.attlist = Common.attrib