text view: add padding and margin

Add API to set top and bottom margins, and add the CSS padding
from the theme to the programmatically set margins.

https://bugzilla.gnome.org/show_bug.cgi?id=406159
This commit is contained in:
Sebastien Lafargue 2014-12-23 21:30:24 +01:00 committed by Matthias Clasen
parent 825d1285e3
commit d1381569fd
5 changed files with 543 additions and 169 deletions

View File

@ -3917,6 +3917,10 @@ gtk_text_view_set_left_margin
gtk_text_view_get_left_margin
gtk_text_view_set_right_margin
gtk_text_view_get_right_margin
gtk_text_view_set_top_margin
gtk_text_view_get_top_margin
gtk_text_view_set_bottom_margin
gtk_text_view_get_bottom_margin
gtk_text_view_set_indent
gtk_text_view_get_indent
gtk_text_view_set_tabs

View File

@ -1310,6 +1310,8 @@ set_para_values (GtkTextLayout *layout,
{
PangoAlignment pango_align = PANGO_ALIGN_LEFT;
PangoWrapMode pango_wrap = PANGO_WRAP_WORD;
gint h_margin;
gint h_padding;
switch (base_dir)
{
@ -1392,14 +1394,16 @@ set_para_values (GtkTextLayout *layout,
break;
}
h_margin = display->left_margin + display->right_margin;
h_padding = layout->left_padding + layout->right_padding;
if (style->wrap_mode != GTK_WRAP_NONE)
{
int layout_width = (layout->screen_width - display->left_margin - display->right_margin);
int layout_width = (layout->screen_width - h_margin - h_padding);
pango_layout_set_width (display->layout, layout_width * PANGO_SCALE);
pango_layout_set_wrap (display->layout, pango_wrap);
}
display->total_width = MAX (layout->screen_width, layout->width) - display->left_margin - display->right_margin;
display->total_width = MAX (layout->screen_width, layout->width) - h_margin - h_padding;
G_GNUC_BEGIN_IGNORE_DEPRECATIONS
if (style->pg_bg_color)
@ -2241,6 +2245,8 @@ gtk_text_layout_get_line_display (GtkTextLayout *layout,
PangoDirection base_dir;
GPtrArray *tags;
gboolean initial_toggle_segments;
gint h_margin;
gint h_padding;
g_return_val_if_fail (line != NULL, NULL);
@ -2550,6 +2556,11 @@ gtk_text_layout_get_line_display (GtkTextLayout *layout,
text_pixel_width = PIXEL_BOUND (extents.width);
display->width = text_pixel_width + display->left_margin + display->right_margin;
h_margin = display->left_margin + display->right_margin;
h_padding = layout->left_padding + layout->right_padding;
display->width = text_pixel_width + h_margin + h_padding;
display->height += PANGO_PIXELS (extents.height);
/* If we aren't wrapping, we need to do the alignment of each

View File

@ -132,6 +132,9 @@ struct _GtkTextLayout
GtkTextBuffer *buffer;
gint left_padding;
gint right_padding;
/* Default style used if no tags override it */
GtkTextAttributes *default_style;

View File

@ -156,9 +156,18 @@ struct _GtkTextViewPrivate
GtkAdjustment *hadjustment;
GtkAdjustment *vadjustment;
gint xoffset; /* Offsets between widget coordinates and buffer coordinates */
/* X offset between widget coordinates and buffer coordinates
* taking left_padding in account
*/
gint xoffset;
/* Y offset between widget coordinates and buffer coordinates
* taking top_padding and top_margin in account
*/
gint yoffset;
gint width; /* Width and height of the buffer */
/* Width and height of the buffer */
gint width;
gint height;
/* This is used to monitor the overall size request
@ -214,8 +223,20 @@ struct _GtkTextViewPrivate
gint pixels_inside_wrap;
GtkWrapMode wrap_mode;
GtkJustification justify;
gint left_margin;
gint right_margin;
gint top_margin;
gint bottom_margin;
gint left_padding;
gint right_padding;
gint top_padding;
gint bottom_padding;
gint top_border;
gint bottom_border;
gint left_border;
gint right_border;
gint indent;
gint64 handle_place_time;
PangoTabArray *tabs;
@ -299,6 +320,8 @@ enum
PROP_JUSTIFICATION,
PROP_LEFT_MARGIN,
PROP_RIGHT_MARGIN,
PROP_TOP_MARGIN,
PROP_BOTTOM_MARGIN,
PROP_INDENT,
PROP_TABS,
PROP_CURSOR_VISIBLE,
@ -788,6 +811,18 @@ gtk_text_view_class_init (GtkTextViewClass *klass)
GTK_JUSTIFY_LEFT,
GTK_PARAM_READWRITE|G_PARAM_EXPLICIT_NOTIFY));
/**
* GtkTextView:left-margin:
*
* The default left margin for text in the text view.
* Tags in the buffer may override the default.
*
* Note that this property is confusingly named. In CSS terms,
* the value set here is padding, and it is applied in addition
* to the padding from the theme.
*
* Don't confuse this property with #GtkWidget:margin-left.
*/
g_object_class_install_property (gobject_class,
PROP_LEFT_MARGIN,
g_param_spec_int ("left-margin",
@ -796,6 +831,18 @@ gtk_text_view_class_init (GtkTextViewClass *klass)
0, G_MAXINT, 0,
GTK_PARAM_READWRITE|G_PARAM_EXPLICIT_NOTIFY));
/**
* GtkTextView:right-margin:
*
* The default right margin for text in the text view.
* Tags in the buffer may override the default.
*
* Note that this property is confusingly named. In CSS terms,
* the value set here is padding, and it is applied in addition
* to the padding from the theme.
*
* Don't confuse this property with #GtkWidget:margin-right.
*/
g_object_class_install_property (gobject_class,
PROP_RIGHT_MARGIN,
g_param_spec_int ("right-margin",
@ -804,6 +851,48 @@ gtk_text_view_class_init (GtkTextViewClass *klass)
0, G_MAXINT, 0,
GTK_PARAM_READWRITE|G_PARAM_EXPLICIT_NOTIFY));
/**
* GtkTextView:top-margin:
*
* The top margin for text in the text view.
*
* Note that this property is confusingly named. In CSS terms,
* the value set here is padding, and it is applied in addition
* to the padding from the theme.
*
* Don't confuse this property with #GtkWidget:margin-top.
*
* Since: 3.18
*/
g_object_class_install_property (gobject_class,
PROP_TOP_MARGIN,
g_param_spec_int ("top-margin",
P_("Top Margin"),
P_("Height of the top margin in pixels"),
0, G_MAXINT, 0,
GTK_PARAM_READWRITE|G_PARAM_EXPLICIT_NOTIFY));
/**
* GtkTextView:bottom-margin:
*
* The bottom margin for text in the text view.
*
* Note that this property is confusingly named. In CSS terms,
* the value set here is padding, and it is applied in addition
* to the padding from the theme.
*
* Don't confuse this property with #GtkWidget:margin-bottom.
*
* Since: 3.18
*/
g_object_class_install_property (gobject_class,
PROP_BOTTOM_MARGIN,
g_param_spec_int ("bottom-margin",
P_("Bottom Margin"),
P_("Height of the bottom margin in pixels"),
0, G_MAXINT, 0,
GTK_PARAM_READWRITE|G_PARAM_EXPLICIT_NOTIFY));
g_object_class_install_property (gobject_class,
PROP_INDENT,
g_param_spec_int ("indent",
@ -1568,8 +1657,6 @@ gtk_text_view_init (GtkTextView *text_view)
priv->pixels_below_lines = 0;
priv->pixels_inside_wrap = 0;
priv->justify = GTK_JUSTIFY_LEFT;
priv->left_margin = 0;
priv->right_margin = 0;
priv->indent = 0;
priv->tabs = NULL;
priv->editable = TRUE;
@ -2086,6 +2173,223 @@ gtk_text_view_get_line_at_y (GtkTextView *text_view,
line_top);
}
/* Same as gtk_text_view_scroll_to_iter but deal with
* (top_margin / top_padding) and (bottom_margin / bottom_padding).
* When with_border == TRUE and you scroll on the edges,
* all borders are shown for the corresponding edge.
* When with_border == FALSE, only left margin and right_margin
* can be seen because they can be can be overwritten by tags.
*/
static gboolean
_gtk_text_view_scroll_to_iter (GtkTextView *text_view,
GtkTextIter *iter,
gdouble within_margin,
gboolean use_align,
gdouble xalign,
gdouble yalign,
gboolean with_border)
{
GtkTextViewPrivate *priv = text_view->priv;
GtkWidget *widget;
GdkRectangle cursor;
gint cursor_bottom;
gint cursor_right;
GdkRectangle screen;
GdkRectangle screen_dest;
gint screen_inner_left;
gint screen_inner_right;
gint screen_inner_top;
gint screen_inner_bottom;
gint border_xoffset = 0;
gint border_yoffset = 0;
gint within_margin_xoffset;
gint within_margin_yoffset;
gint buffer_bottom;
gint buffer_right;
gboolean retval = FALSE;
/* FIXME why don't we do the validate-at-scroll-destination thing
* from flush_scroll in this function? I think it wasn't done before
* because changed_handler was screwed up, but I could be wrong.
*/
g_return_val_if_fail (GTK_IS_TEXT_VIEW (text_view), FALSE);
g_return_val_if_fail (iter != NULL, FALSE);
g_return_val_if_fail (within_margin >= 0.0 && within_margin < 0.5, FALSE);
g_return_val_if_fail (xalign >= 0.0 && xalign <= 1.0, FALSE);
g_return_val_if_fail (yalign >= 0.0 && yalign <= 1.0, FALSE);
widget = GTK_WIDGET (text_view);
DV(g_print(G_STRLOC"\n"));
gtk_text_layout_get_iter_location (priv->layout,
iter,
&cursor);
DV (g_print (" target cursor %d,%d %d x %d\n", cursor.x, cursor.y, cursor.width, cursor.height));
/* In each direction, *_border are the addition of *_padding and *_margin
*
* Vadjustment value:
* (-priv->top_border) [top padding][top margin] (0) [text][bottom margin][bottom padding]
*
* Hadjustment value:
* (-priv->left_padding) [left padding] (0) [left margin][text][right margin][right padding]
*
* Buffer coordinates:
* on x: (0) [left margin][text][right margin]
* on y: (0) [text]
*
* left margin and right margin are part of the x buffer coordinate
* because they are part of the pango layout so that they can be
* overwritten by tags.
*
* Canvas coordinates:
* (the canvas is the virtual window where the content of the buffer is drawn )
*
* on x: (-priv->left_padding) [left padding] (0) [left margin][text][right margin][right padding]
* on y: (-priv->top_border) [top margin][top padding] (0) [text][bottom margin][bottom padding]
*
* (priv->xoffset, priv->yoffset) is the origin of the view (visible part of the canvas)
* in canvas coordinates.
* As you can see, canvas coordinates and buffer coordinates are compatible but the canvas
* can be larger than the buffer depending of the border size.
*/
cursor_bottom = cursor.y + cursor.height;
cursor_right = cursor.x + cursor.width;
/* Current position of the view in canvas coordinates */
screen.x = priv->xoffset;
screen.y = priv->yoffset;
screen.width = SCREEN_WIDTH (widget);
screen.height = SCREEN_HEIGHT (widget);
within_margin_xoffset = screen.width * within_margin;
within_margin_yoffset = screen.height * within_margin;
screen_inner_left = screen.x + within_margin_xoffset;
screen_inner_top = screen.y + within_margin_yoffset;
screen_inner_right = screen.x + screen.width - within_margin_xoffset;
screen_inner_bottom = screen.y + screen.width - within_margin_yoffset;
buffer_bottom = priv->height - priv->bottom_border;
buffer_right = priv->width - priv->right_margin;
screen_dest.x = screen.x;
screen_dest.y = screen.y;
screen_dest.width = screen.width - within_margin_xoffset * 2;
screen_dest.height = screen.height - within_margin_yoffset * 2;
/* Minimum authorised size check */
if (screen_dest.width < 1)
screen_dest.width = 1;
if (screen_dest.height < 1)
screen_dest.height = 1;
/* The alignment affects the point in the target character that we
* choose to align. If we're doing right/bottom alignment, we align
* the right/bottom edge of the character the mark is at; if we're
* doing left/top we align the left/top edge of the character; if
* we're doing center alignment we align the center of the
* character.
*
* The differents cases handle on each direction:
* 1. cursor outside of the inner area define by within_margin
* 2. if use_align == TRUE, alignment with xalign and yalign
* 3. scrolling on the edges dependent of with_border
*/
/* Vertical scroll */
if (use_align)
{
gint cursor_y_alignment_offset;
cursor_y_alignment_offset = (cursor.height * yalign) - (screen_dest.height * yalign);
screen_dest.y = cursor.y + cursor_y_alignment_offset - within_margin_yoffset;
}
else
{
/* move minimum to get onscreen, showing the
* top_border or bottom_border when necessary
*/
if (cursor.y < screen_inner_top)
{
if (cursor.y == 0)
border_yoffset = (with_border) ? priv->top_padding : 0;
screen_dest.y = cursor.y - MAX (within_margin_yoffset, border_yoffset);
}
else if (cursor_bottom > screen_inner_bottom)
{
if (cursor_bottom == buffer_bottom)
border_yoffset = (with_border) ? priv->bottom_padding : 0;
screen_dest.y = cursor_bottom - screen_dest.height +
MAX (within_margin_yoffset, border_yoffset);
}
}
if (screen_dest.y != screen.y)
{
gtk_adjustment_animate_to_value (priv->vadjustment, screen_dest.y);
DV (g_print (" vert increment %d\n", screen_dest.y - screen.y));
}
/* Horizontal scroll */
if (use_align)
{
gint cursor_x_alignment_offset;
cursor_x_alignment_offset = (cursor.width * xalign) - (screen_dest.width * xalign);
screen_dest.x = cursor.x + cursor_x_alignment_offset - within_margin_xoffset;
}
else
{
/* move minimum to get onscreen, showing the
* left_border or right_border when necessary
*/
if (cursor.x < screen_inner_left)
{
if (cursor.x == priv->left_margin)
border_xoffset = (with_border) ? 0 : priv->left_padding;
screen_dest.x = cursor.x - MAX (within_margin_xoffset, border_xoffset);
}
else if (cursor_right > screen_inner_right)
{
if (cursor.x == buffer_right)
border_xoffset = (with_border) ? priv->left_border : priv->left_padding;
screen_dest.x = cursor_right - screen_dest.width +
MAX (within_margin_xoffset, border_xoffset);
}
}
if (screen_dest.x != screen.x)
{
gtk_adjustment_animate_to_value (priv->hadjustment, screen_dest.x);
DV (g_print (" horiz increment %d\n", screen_dest.x - screen.x));
}
retval = (screen.y != gtk_adjustment_get_value (priv->vadjustment))
|| (screen.x != gtk_adjustment_get_value (priv->hadjustment));
DV(g_print (">%s ("G_STRLOC")\n", retval ? "Actually scrolled" : "Didn't end up scrolling"));
return retval;
}
/**
* gtk_text_view_scroll_to_iter:
* @text_view: a #GtkTextView
@ -2121,154 +2425,13 @@ gtk_text_view_scroll_to_iter (GtkTextView *text_view,
gdouble xalign,
gdouble yalign)
{
GdkRectangle rect;
GdkRectangle screen;
gint screen_bottom;
gint screen_right;
gint scroll_dest;
GtkWidget *widget;
gboolean retval = FALSE;
gint scroll_inc;
gint screen_xoffset, screen_yoffset;
gint current_x_scroll, current_y_scroll;
/* FIXME why don't we do the validate-at-scroll-destination thing
* from flush_scroll in this function? I think it wasn't done before
* because changed_handler was screwed up, but I could be wrong.
*/
g_return_val_if_fail (GTK_IS_TEXT_VIEW (text_view), FALSE);
g_return_val_if_fail (iter != NULL, FALSE);
g_return_val_if_fail (within_margin >= 0.0 && within_margin < 0.5, FALSE);
g_return_val_if_fail (xalign >= 0.0 && xalign <= 1.0, FALSE);
g_return_val_if_fail (yalign >= 0.0 && yalign <= 1.0, FALSE);
widget = GTK_WIDGET (text_view);
DV(g_print(G_STRLOC"\n"));
gtk_text_layout_get_iter_location (text_view->priv->layout,
return _gtk_text_view_scroll_to_iter (text_view,
iter,
&rect);
DV (g_print (" target rect %d,%d %d x %d\n", rect.x, rect.y, rect.width, rect.height));
current_x_scroll = text_view->priv->xoffset;
current_y_scroll = text_view->priv->yoffset;
screen.x = current_x_scroll;
screen.y = current_y_scroll;
screen.width = SCREEN_WIDTH (widget);
screen.height = SCREEN_HEIGHT (widget);
screen_xoffset = screen.width * within_margin;
screen_yoffset = screen.height * within_margin;
screen.x += screen_xoffset;
screen.y += screen_yoffset;
screen.width -= screen_xoffset * 2;
screen.height -= screen_yoffset * 2;
/* paranoia check */
if (screen.width < 1)
screen.width = 1;
if (screen.height < 1)
screen.height = 1;
/* The -1 here ensures that we leave enough space to draw the cursor
* when this function is used for horizontal scrolling.
*/
screen_right = screen.x + screen.width - 1;
screen_bottom = screen.y + screen.height;
/* The alignment affects the point in the target character that we
* choose to align. If we're doing right/bottom alignment, we align
* the right/bottom edge of the character the mark is at; if we're
* doing left/top we align the left/top edge of the character; if
* we're doing center alignment we align the center of the
* character.
*/
/* Vertical scroll */
scroll_inc = 0;
scroll_dest = current_y_scroll;
if (use_align)
{
scroll_dest = rect.y + (rect.height * yalign) - (screen.height * yalign);
/* if scroll_dest < screen.y, we move a negative increment (up),
* else a positive increment (down)
*/
scroll_inc = scroll_dest - screen.y + screen_yoffset;
}
else
{
/* move minimum to get onscreen */
if (rect.y < screen.y)
{
scroll_dest = rect.y;
scroll_inc = scroll_dest - screen.y - screen_yoffset;
}
else if ((rect.y + rect.height) > screen_bottom)
{
scroll_dest = rect.y + rect.height;
scroll_inc = scroll_dest - screen_bottom + screen_yoffset;
}
}
if (scroll_inc != 0)
{
gtk_adjustment_animate_to_value (text_view->priv->vadjustment,
current_y_scroll + scroll_inc);
DV (g_print (" vert increment %d\n", scroll_inc));
}
/* Horizontal scroll */
scroll_inc = 0;
scroll_dest = current_x_scroll;
if (use_align)
{
scroll_dest = rect.x + (rect.width * xalign) - (screen.width * xalign);
/* if scroll_dest < screen.y, we move a negative increment (left),
* else a positive increment (right)
*/
scroll_inc = scroll_dest - screen.x + screen_xoffset;
}
else
{
/* move minimum to get onscreen */
if (rect.x < screen.x)
{
scroll_dest = rect.x;
scroll_inc = scroll_dest - screen.x - screen_xoffset;
}
else if ((rect.x + rect.width) > screen_right)
{
scroll_dest = rect.x + rect.width;
scroll_inc = scroll_dest - screen_right + screen_xoffset;
}
}
if (scroll_inc != 0)
{
gtk_adjustment_animate_to_value (text_view->priv->hadjustment,
current_x_scroll + scroll_inc);
DV (g_print (" horiz increment %d\n", scroll_inc));
}
retval = (current_y_scroll != gtk_adjustment_get_value (text_view->priv->vadjustment))
|| (current_x_scroll != gtk_adjustment_get_value (text_view->priv->hadjustment));
DV(g_print (">%s ("G_STRLOC")\n", retval ? "Actually scrolled" : "Didn't end up scrolling"));
return retval;
within_margin,
use_align,
xalign,
yalign,
FALSE);
}
static void
@ -2369,12 +2532,13 @@ gtk_text_view_flush_scroll (GtkTextView *text_view)
/* Ensure we have updated width/height */
gtk_text_view_update_adjustments (text_view);
retval = gtk_text_view_scroll_to_iter (text_view,
retval = _gtk_text_view_scroll_to_iter (text_view,
&iter,
scroll->within_margin,
scroll->use_align,
scroll->xalign,
scroll->yalign);
scroll->yalign,
TRUE);
if (text_view->priv->text_handle)
gtk_text_view_update_handles (text_view,
@ -2400,6 +2564,7 @@ gtk_text_view_update_adjustments (GtkTextView *text_view)
/* Make room for the cursor after the last character in the widest line */
width += SPACE_FOR_CURSOR;
height += priv->top_border + priv->bottom_border;
if (priv->width != width || priv->height != height)
{
@ -2953,20 +3118,22 @@ gtk_text_view_get_justification (GtkTextView *text_view)
*
* Sets the default left margin for text in @text_view.
* Tags in the buffer may override the default.
**/
*
* Note that this function is confusingly named.
* In CSS terms, the value set here is padding.
*/
void
gtk_text_view_set_left_margin (GtkTextView *text_view,
gint left_margin)
{
GtkTextViewPrivate *priv;
GtkTextViewPrivate *priv = text_view->priv;
g_return_if_fail (GTK_IS_TEXT_VIEW (text_view));
priv = text_view->priv;
if (priv->left_margin != left_margin)
{
priv->left_margin = left_margin;
priv->left_border = left_margin + priv->left_padding;
if (priv->layout && priv->layout->default_style)
{
@ -2986,7 +3153,7 @@ gtk_text_view_set_left_margin (GtkTextView *text_view,
* Tags in the buffer may override the default.
*
* Returns: left margin in pixels
**/
*/
gint
gtk_text_view_get_left_margin (GtkTextView *text_view)
{
@ -3002,7 +3169,10 @@ gtk_text_view_get_left_margin (GtkTextView *text_view)
*
* Sets the default right margin for text in the text view.
* Tags in the buffer may override the default.
**/
*
* Note that this function is confusingly named.
* In CSS terms, the value set here is padding.
*/
void
gtk_text_view_set_right_margin (GtkTextView *text_view,
gint right_margin)
@ -3014,6 +3184,7 @@ gtk_text_view_set_right_margin (GtkTextView *text_view,
if (priv->right_margin != right_margin)
{
priv->right_margin = right_margin;
priv->right_border = right_margin + priv->right_padding;
if (priv->layout && priv->layout->default_style)
{
@ -3033,7 +3204,7 @@ gtk_text_view_set_right_margin (GtkTextView *text_view,
* in the buffer may override the default.
*
* Returns: right margin in pixels
**/
*/
gint
gtk_text_view_get_right_margin (GtkTextView *text_view)
{
@ -3042,6 +3213,110 @@ gtk_text_view_get_right_margin (GtkTextView *text_view)
return text_view->priv->right_margin;
}
/**
* gtk_text_view_set_top_margin:
* @text_view: a #GtkTextView
* @top_margin: top margin in pixels
*
* Sets the top margin for text in @text_view.
*
* Note that this function is confusingly named.
* In CSS terms, the value set here is padding.
*
* Since: 3.18
*/
void
gtk_text_view_set_top_margin (GtkTextView *text_view,
gint top_margin)
{
GtkTextViewPrivate *priv = text_view->priv;
g_return_if_fail (GTK_IS_TEXT_VIEW (text_view));
if (priv->top_margin != top_margin)
{
priv->yoffset += priv->top_margin - top_margin;
priv->top_margin = top_margin;
priv->top_border = top_margin + priv->top_padding;
if (priv->layout && priv->layout->default_style)
gtk_text_layout_default_style_changed (priv->layout);
gtk_text_view_invalidate (text_view);
g_object_notify (G_OBJECT (text_view), "top-margin");
}
}
/**
* gtk_text_view_get_top_margin:
* @text_view: a #GtkTextView
*
* Gets the top margin for text in the @text_view.
*
* Returns: top margin in pixels
*
* Since: 3.18
**/
gint
gtk_text_view_get_top_margin (GtkTextView *text_view)
{
g_return_val_if_fail (GTK_IS_TEXT_VIEW (text_view), 0);
return text_view->priv->top_margin;
}
/**
* gtk_text_view_set_bottom_margin:
* @text_view: a #GtkTextView
* @bottom_margin: bottom margin in pixels
*
* Sets the bottom margin for text in @text_view.
*
* Note that this function is confusingly named.
* In CSS terms, the value set here is padding.
*
* Since: 3.18
*/
void
gtk_text_view_set_bottom_margin (GtkTextView *text_view,
gint bottom_margin)
{
GtkTextViewPrivate *priv = text_view->priv;
g_return_if_fail (GTK_IS_TEXT_VIEW (text_view));
if (priv->bottom_margin != bottom_margin)
{
priv->bottom_margin = bottom_margin;
priv->bottom_border = bottom_margin + priv->bottom_padding;
if (priv->layout && priv->layout->default_style)
gtk_text_layout_default_style_changed (priv->layout);
g_object_notify (G_OBJECT (text_view), "bottom-margin");
}
}
/**
* gtk_text_view_get_bottom_margin:
* @text_view: a #GtkTextView
*
* Gets the bottom margin for text in the @text_view.
*
* Returns: bottom margin in pixels
*
* Since: 3.18
*/
gint
gtk_text_view_get_bottom_margin (GtkTextView *text_view)
{
g_return_val_if_fail (GTK_IS_TEXT_VIEW (text_view), 0);
return text_view->priv->bottom_margin;
}
/**
* gtk_text_view_set_indent:
* @text_view: a #GtkTextView
@ -3396,6 +3671,14 @@ gtk_text_view_set_property (GObject *object,
gtk_text_view_set_right_margin (text_view, g_value_get_int (value));
break;
case PROP_TOP_MARGIN:
gtk_text_view_set_top_margin (text_view, g_value_get_int (value));
break;
case PROP_BOTTOM_MARGIN:
gtk_text_view_set_bottom_margin (text_view, g_value_get_int (value));
break;
case PROP_INDENT:
gtk_text_view_set_indent (text_view, g_value_get_int (value));
break;
@ -3524,6 +3807,14 @@ gtk_text_view_get_property (GObject *object,
g_value_set_int (value, priv->right_margin);
break;
case PROP_TOP_MARGIN:
g_value_set_int (value, priv->top_margin);
break;
case PROP_BOTTOM_MARGIN:
g_value_set_int (value, priv->bottom_margin);
break;
case PROP_INDENT:
g_value_set_int (value, priv->indent);
break;
@ -3859,7 +4150,7 @@ gtk_text_view_size_allocate (GtkWidget *widget,
DV(g_print(G_STRLOC"\n"));
_gtk_pixel_cache_set_extra_size (priv->pixel_cache, 64,
allocation->height / 2);
allocation->height / 2 + priv->top_border);
gtk_widget_get_allocation (widget, &widget_allocation);
size_changed =
@ -4241,7 +4532,7 @@ changed_handler (GtkTextLayout *layout,
gtk_text_layout_get_line_yrange (layout, &first, &new_first_para_top, NULL);
old_first_para_top = priv->yoffset - priv->first_para_pixels;
old_first_para_top = priv->yoffset - priv->first_para_pixels + priv->top_border;
if (new_first_para_top != old_first_para_top)
{
@ -4423,6 +4714,52 @@ gtk_text_view_unmap (GtkWidget *widget)
_gtk_pixel_cache_unmap (priv->pixel_cache);
}
static void
text_window_set_padding (GtkTextView *text_view,
GtkStyleContext *style_context)
{
GtkTextViewPrivate *priv;
GtkStateFlags state;
GtkBorder padding;
priv = text_view->priv;
gtk_style_context_save (style_context);
gtk_style_context_add_class (style_context, GTK_STYLE_CLASS_VIEW);
state = gtk_widget_get_state_flags (GTK_WIDGET (text_view));
gtk_style_context_get_padding (style_context, state, &padding);
gtk_style_context_restore (style_context);
if (padding.left != priv->left_padding ||
padding.right != priv->right_padding ||
padding.top != priv->top_padding ||
padding.bottom != priv->bottom_padding)
{
priv->xoffset += priv->left_padding - padding.left;
priv->yoffset += priv->top_padding - padding.top;
priv->left_padding = padding.left;
priv->right_padding = padding.right;
priv->top_padding = padding.top;
priv->bottom_padding = padding.bottom;
priv->top_border = padding.top + priv->top_margin;
priv->bottom_border = padding.bottom + priv->bottom_margin;
priv->left_border = padding.left + priv->left_margin;
priv->right_border = padding.right + priv->right_margin;
if (priv->layout && priv->layout->default_style)
{
priv->layout->right_padding = priv->right_padding;
priv->layout->left_padding = priv->left_padding;
gtk_text_layout_default_style_changed (priv->layout);
}
}
}
static void
gtk_text_view_style_updated (GtkWidget *widget)
{
@ -5394,8 +5731,8 @@ gtk_text_view_paint (GtkWidget *widget,
priv = text_view->priv;
g_return_if_fail (priv->layout != NULL);
g_return_if_fail (priv->xoffset >= 0);
g_return_if_fail (priv->yoffset >= 0);
g_return_if_fail (priv->xoffset >= - priv->left_padding);
g_return_if_fail (priv->yoffset >= - priv->top_border);
while (priv->first_validate_idle != 0)
{
@ -5506,6 +5843,8 @@ gtk_text_view_draw (GtkWidget *widget,
context = gtk_widget_get_style_context (widget);
text_window_set_padding (GTK_TEXT_VIEW (widget), context);
if (gtk_cairo_should_draw_window (cr, gtk_widget_get_window (widget)))
{
gtk_style_context_save (context);
@ -7535,8 +7874,12 @@ gtk_text_view_ensure_layout (GtkTextView *text_view)
style->pixels_above_lines = priv->pixels_above_lines;
style->pixels_below_lines = priv->pixels_below_lines;
style->pixels_inside_wrap = priv->pixels_inside_wrap;
style->left_margin = priv->left_margin;
style->right_margin = priv->right_margin;
priv->layout->right_padding = priv->right_padding;
priv->layout->left_padding = priv->left_padding;
style->indent = priv->indent;
style->tabs = priv->tabs ? pango_tab_array_copy (priv->tabs) : NULL;
@ -8370,8 +8713,8 @@ gtk_text_view_value_changed (GtkAdjustment *adjustment,
if (adjustment == priv->hadjustment)
{
dx = priv->xoffset - (gint)gtk_adjustment_get_value (adjustment);
priv->xoffset = gtk_adjustment_get_value (adjustment);
dx = priv->xoffset - gtk_adjustment_get_value (adjustment);
priv->xoffset = gtk_adjustment_get_value (adjustment) - priv->left_padding;
/* If the change is due to a size change we need
* to invalidate the entire text window because there might be
@ -8387,8 +8730,8 @@ gtk_text_view_value_changed (GtkAdjustment *adjustment,
}
else if (adjustment == priv->vadjustment)
{
dy = priv->yoffset - (gint)gtk_adjustment_get_value (adjustment);
priv->yoffset = gtk_adjustment_get_value (adjustment);
dy = priv->yoffset - gtk_adjustment_get_value (adjustment);
priv->yoffset = gtk_adjustment_get_value (adjustment) - priv->top_border;
if (priv->layout)
{
@ -9376,7 +9719,7 @@ gtk_text_view_get_rendered_rect (GtkTextView *text_view,
window = gtk_text_view_get_window (text_view, GTK_TEXT_WINDOW_TEXT);
rect->x = gtk_adjustment_get_value (priv->hadjustment) - extra_w;
rect->y = gtk_adjustment_get_value (priv->vadjustment) - extra_h;
rect->y = gtk_adjustment_get_value (priv->vadjustment) - extra_h - priv->top_border;
rect->height = gdk_window_get_height (window) + (extra_h * 2);
rect->width = gdk_window_get_width (window) + (extra_w * 2);
@ -9405,20 +9748,23 @@ text_window_invalidate_handler (GdkWindow *window,
{
gpointer widget;
GtkTextView *text_view;
GtkTextViewPrivate *priv;
int x, y;
gdk_window_get_user_data (window, &widget);
text_view = GTK_TEXT_VIEW (widget);
priv = text_view->priv;
/* Scrolling will invalidate everything in the bin window,
* but we already have it in the cache, so we can ignore that */
if (text_view->priv->in_scroll)
if (priv->in_scroll)
return;
x = gtk_adjustment_get_value (text_view->priv->hadjustment);
y = gtk_adjustment_get_value (text_view->priv->vadjustment);
x = priv->xoffset;
y = priv->yoffset + priv->top_border;
cairo_region_translate (region, x, y);
_gtk_pixel_cache_invalidate (text_view->priv->pixel_cache, region);
_gtk_pixel_cache_invalidate (priv->pixel_cache, region);
cairo_region_translate (region, -x, -y);
}

View File

@ -405,6 +405,16 @@ void gtk_text_view_set_right_margin (GtkTextView *text_vi
gint right_margin);
GDK_AVAILABLE_IN_ALL
gint gtk_text_view_get_right_margin (GtkTextView *text_view);
GDK_AVAILABLE_IN_3_18
void gtk_text_view_set_top_margin (GtkTextView *text_view,
gint top_margin);
GDK_AVAILABLE_IN_3_18
gint gtk_text_view_get_top_margin (GtkTextView *text_view);
GDK_AVAILABLE_IN_3_18
void gtk_text_view_set_bottom_margin (GtkTextView *text_view,
gint bottom_margin);
GDK_AVAILABLE_IN_3_18
gint gtk_text_view_get_bottom_margin (GtkTextView *text_view);
GDK_AVAILABLE_IN_ALL
void gtk_text_view_set_indent (GtkTextView *text_view,
gint indent);