O comportamento de rolagem do terminal gnomo não é afetado pela mudança no código fonte do GTK3 [fechado]

Question

Eu precisava alterar a taxa de rolagem da roda do mouse em aplicativos GTK. Eu baixei e modifiquei o código fonte do GTK3. Eu recompilei isso. Ele fez o truque para gedit e nautilus. Mas não o fez para o gnome-terminal, apesar de ser uma aplicação GTK3.

Eu mudei as linhas começando com delta= na cláusula if-else. Apenas mudei os números para os números estranhos para que eu possa ver a mudança, se houver algum.

Aqui estão as alterações que fiz em gtk/gtkrange.c :

 /**        
 * _gtk_range_get_wheel_delta:
 * @range: a #GtkRange
 * @direction: A #GdkScrollDirection
 * 
 * Returns a good step value for the mouse wheel.
 * 
 * Return value: A good step value for the mouse wheel. 
 * 
 * Since: 2.4
 **/
gdouble
_gtk_range_get_wheel_delta (GtkRange           *range,
                GdkScrollDirection  direction)
{
  GtkRangePrivate *priv = range->priv;
  GtkAdjustment *adjustment = priv->adjustment;
  gdouble delta;

  if (GTK_IS_SCROLLBAR (range))
    **delta = pow (gtk_adjustment_get_page_size (adjustment), 1.0 / 94.0);**
  else
    **delta = gtk_adjustment_get_step_increment (adjustment) * 400;**

  if (direction == GDK_SCROLL_UP ||
      direction == GDK_SCROLL_LEFT)
    delta = - delta;

  if (priv->inverted)
    delta = - delta;

  return delta;
}