comparison src/gtkutil.c @ 109415:5922ae6fb6dc

Merge from mainline.

109414:51f725b66eac

  xg_set_cursor (webox, FRAME_X_DISPLAY_INFO (f)->xg_cursor);

  bar->x_window = scroll_id;
}

/* Make the scroll bar represented by SCROLLBAR_ID visible.  */

void
xg_show_scroll_bar (scrollbar_id)
     int scrollbar_id;
{
  GtkWidget *w = xg_get_widget_from_map (scrollbar_id);
  if (w)
    gtk_widget_show_all (gtk_widget_get_parent (w));
}

/* Remove the scroll bar represented by SCROLLBAR_ID from the frame F.  */

void
xg_remove_scroll_bar (f, scrollbar_id)
     FRAME_PTR f;

            break;
          }

      /* Move and resize to new values.  */
      gtk_fixed_move (GTK_FIXED (wfixed), wparent, left, top);
      gtk_widget_set_size_request (wscroll, width, height);
      gtk_widget_queue_draw (wfixed);
      gdk_window_process_all_updates ();
      if (oldx != -1) 
        {
          /* Clear under old scroll bar position.  This must be done after
             the gtk_widget_queue_draw and gdk_window_process_all_updates
             above.  */
          x_clear_area (FRAME_X_DISPLAY (f),

109415:5922ae6fb6dc

  xg_set_cursor (webox, FRAME_X_DISPLAY_INFO (f)->xg_cursor);

  bar->x_window = scroll_id;
}

/* Remove the scroll bar represented by SCROLLBAR_ID from the frame F.  */

void
xg_remove_scroll_bar (f, scrollbar_id)
     FRAME_PTR f;

            break;
          }

      /* Move and resize to new values.  */
      gtk_fixed_move (GTK_FIXED (wfixed), wparent, left, top);
      gint msl;
      gtk_widget_style_get (wscroll, "min-slider-length", &msl, NULL);
      if (msl > height)
        {
          /* No room.  Hide scroll bar as some themes output a warning if
             the height is less than the min size.  */
          gtk_widget_hide (wparent);
          gtk_widget_hide (wscroll);
        }
      else
        {
          gtk_widget_show_all (wparent);
          gtk_widget_set_size_request (wscroll, width, height);
        }
      gtk_widget_queue_draw (wfixed);
      gdk_window_process_all_updates ();
      if (oldx != -1 && oldw > 0 && oldh > 0)
        {
          /* Clear under old scroll bar position.  This must be done after
             the gtk_widget_queue_draw and gdk_window_process_all_updates
             above.  */
          x_clear_area (FRAME_X_DISPLAY (f),