render_selection


Description:

public void render_selection (Context cairo, Rectangle selection, Rectangle old_selection, SelectionStyle style, Color glyph_color, Color background_color)

Render the selection specified by selection for this to the given cairo context.

The selection will be rendered, using glyph_color for the glyphs and background_color for the selection background.

If non-NULL, old_selection specifies the selection that is already rendered to cairo, in which case this function will (some day) only render the changed part of the selection.

Parameters:

this

the Page for which to render selection

cairo

cairo context to render to

selection

start and end point of selection as a rectangle

old_selection

previous selection

style

a SelectionStyle

glyph_color

color to use for drawing glyphs

background_color

color to use for the selection background