TRUE, /* forward */
FALSE); /* regexp */
-// wait for the updated gtkhtml (w27) to enable this
-#if 0
if (result) {
gint x, y, w, h;
gdouble offset_top, offset_bottom;
else if (offset_bottom > adj->value + adj->page_increment)
gtk_adjustment_set_value (adj, offset_bottom - adj->page_increment);
}
-#endif
y_offset = tmp_vadj->value;
gtk_layout_set_vadjustment (GTK_LAYOUT (priv->gtkhtml), vadj);
priv = MODEST_MSG_VIEW_GET_PRIVATE (self);
result = gtk_html_engine_search_next (GTK_HTML (priv->gtkhtml));
-// fixme wait for new gtkhtml
-#if 0
if (result) {
gint x, y, w, h;
gdouble offset_top, offset_bottom;
else if (offset_bottom > adj->value + adj->page_increment)
gtk_adjustment_set_value (adj, offset_bottom - adj->page_increment);
}
-#endif
return result;
}