/* GTK - The GIMP Toolkit

 * Copyright (C) 1995-1997 Peter Mattis, Spencer Kimball and Josh MacDonald

 *

 * This library is free software; you can redistribute it and/or

 * modify it under the terms of the GNU Lesser General Public

 * License as published by the Free Software Foundation; either

 * version 2 of the License, or (at your option) any later version.

 *

 * This library is distributed in the hope that it will be useful,

 * but WITHOUT ANY WARRANTY; without even the implied warranty of

 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU

 * Lesser General Public License for more details.

 *

 * You should have received a copy of the GNU Lesser General Public

 * License along with this library; if not, write to the

 * Free Software Foundation, Inc., 59 Temple Place - Suite 330,

 * Boston, MA 02111-1307, USA.

 */

/*

 * Modified by the GTK+ Team and others 1997-2000.  See the AUTHORS

 * file for a list of people on the GTK+ Team.  See the ChangeLog

 * files for a list of changes.  These files are distributed with

 * GTK+ at ftp://ftp.gtk.org/pub/gtk/.

 */

#include "config.h"

#include "gdk/gdkkeysyms.h"

#include "gtkbindings.h"

#include "gtkmain.h"

#include "gtkmarshalers.h"

#include "gtkorientable.h"

#include "gtkpaned.h"

#include "gtkwindow.h"

#include "gtkprivate.h"

#include "gtkintl.h"

#include "gtkalias.h"

enum {

  PROP_0,

  PROP_ORIENTATION,

  PROP_POSITION,

  PROP_POSITION_SET,

  PROP_MIN_POSITION,

  PROP_MAX_POSITION

};

enum {

  CHILD_PROP_0,

  CHILD_PROP_RESIZE,

  CHILD_PROP_SHRINK

};

enum {

  CYCLE_CHILD_FOCUS,

  TOGGLE_HANDLE_FOCUS,

  MOVE_HANDLE,

  CYCLE_HANDLE_FOCUS,

  ACCEPT_POSITION,

  CANCEL_POSITION,

  LAST_SIGNAL

};

static void     gtk_paned_set_property          (GObject          *object,

						 guint             prop_id,

						 const GValue     *value,

						 GParamSpec       *pspec);

static void     gtk_paned_get_property          (GObject          *object,

						 guint             prop_id,

						 GValue           *value,

						 GParamSpec       *pspec);

static void     gtk_paned_set_child_property    (GtkContainer     *container,

                                                 GtkWidget        *child,

                                                 guint             property_id,

                                                 const GValue     *value,

                                                 GParamSpec       *pspec);

static void     gtk_paned_get_child_property    (GtkContainer     *container,

                                                 GtkWidget        *child,

                                                 guint             property_id,

                                                 GValue           *value,

                                                 GParamSpec       *pspec);

static void     gtk_paned_finalize              (GObject          *object);

static void     gtk_paned_size_request          (GtkWidget        *widget,

                                                 GtkRequisition   *requisition);

static void     gtk_paned_size_allocate         (GtkWidget        *widget,

                                                 GtkAllocation    *allocation);

static void     gtk_paned_realize               (GtkWidget        *widget);

static void     gtk_paned_unrealize             (GtkWidget        *widget);

static void     gtk_paned_map                   (GtkWidget        *widget);

static void     gtk_paned_unmap                 (GtkWidget        *widget);

static void     gtk_paned_state_changed         (GtkWidget        *widget,

                                                 GtkStateType      previous_state);

static gboolean gtk_paned_expose                (GtkWidget        *widget,

						 GdkEventExpose   *event);

static gboolean gtk_paned_enter                 (GtkWidget        *widget,

						 GdkEventCrossing *event);

static gboolean gtk_paned_leave                 (GtkWidget        *widget,

						 GdkEventCrossing *event);

static gboolean gtk_paned_button_press          (GtkWidget        *widget,

						 GdkEventButton   *event);

static gboolean gtk_paned_button_release        (GtkWidget        *widget,

						 GdkEventButton   *event);

static gboolean gtk_paned_motion                (GtkWidget        *widget,

						 GdkEventMotion   *event);

static gboolean gtk_paned_focus                 (GtkWidget        *widget,

						 GtkDirectionType  direction);

static gboolean gtk_paned_grab_broken           (GtkWidget          *widget,

						 GdkEventGrabBroken *event);

static void     gtk_paned_add                   (GtkContainer     *container,

						 GtkWidget        *widget);

static void     gtk_paned_remove                (GtkContainer     *container,

						 GtkWidget        *widget);

static void     gtk_paned_forall                (GtkContainer     *container,

						 gboolean          include_internals,

						 GtkCallback       callback,

						 gpointer          callback_data);

static void     gtk_paned_calc_position         (GtkPaned         *paned,

                                                 gint              allocation,

                                                 gint              child1_req,

                                                 gint              child2_req);

static void     gtk_paned_set_focus_child       (GtkContainer     *container,

						 GtkWidget        *child);

static void     gtk_paned_set_saved_focus       (GtkPaned         *paned,

						 GtkWidget        *widget);

static void     gtk_paned_set_first_paned       (GtkPaned         *paned,

						 GtkPaned         *first_paned);

static void     gtk_paned_set_last_child1_focus (GtkPaned         *paned,

						 GtkWidget        *widget);

static void     gtk_paned_set_last_child2_focus (GtkPaned         *paned,

						 GtkWidget        *widget);

static gboolean gtk_paned_cycle_child_focus     (GtkPaned         *paned,

						 gboolean          reverse);

static gboolean gtk_paned_cycle_handle_focus    (GtkPaned         *paned,

						 gboolean          reverse);

static gboolean gtk_paned_move_handle           (GtkPaned         *paned,

						 GtkScrollType     scroll);

static gboolean gtk_paned_accept_position       (GtkPaned         *paned);

static gboolean gtk_paned_cancel_position       (GtkPaned         *paned);

static gboolean gtk_paned_toggle_handle_focus   (GtkPaned         *paned);

static GType    gtk_paned_child_type            (GtkContainer     *container);

static void     gtk_paned_grab_notify           (GtkWidget        *widget,

		                                 gboolean          was_grabbed);

struct _GtkPanedPrivate

{

  GtkOrientation  orientation;

  GtkWidget      *saved_focus;

  GtkPaned       *first_paned;

  guint32         grab_time;

};

G_DEFINE_ABSTRACT_TYPE_WITH_CODE (GtkPaned, gtk_paned, GTK_TYPE_CONTAINER,

                                  G_IMPLEMENT_INTERFACE (GTK_TYPE_ORIENTABLE,

                                                         NULL))

static guint signals[LAST_SIGNAL] = { 0 };

static void

add_tab_bindings (GtkBindingSet    *binding_set,

		  GdkModifierType   modifiers)

{

  gtk_binding_entry_add_signal (binding_set, GDK_Tab, modifiers,

                                "toggle-handle-focus", 0);

  gtk_binding_entry_add_signal (binding_set, GDK_KP_Tab, modifiers,

				"toggle-handle-focus", 0);

}

static void

add_move_binding (GtkBindingSet   *binding_set,

		  guint            keyval,

		  GdkModifierType  mask,

		  GtkScrollType    scroll)

{

  gtk_binding_entry_add_signal (binding_set, keyval, mask,

				"move-handle", 1,

				GTK_TYPE_SCROLL_TYPE, scroll);

}

static void

gtk_paned_class_init (GtkPanedClass *class)

{

  GObjectClass *object_class;

  GtkWidgetClass *widget_class;

  GtkContainerClass *container_class;

  GtkPanedClass *paned_class;

  GtkBindingSet *binding_set;

  object_class = (GObjectClass *) class;

  widget_class = (GtkWidgetClass *) class;

  container_class = (GtkContainerClass *) class;

  paned_class = (GtkPanedClass *) class;

  object_class->set_property = gtk_paned_set_property;

  object_class->get_property = gtk_paned_get_property;

  object_class->finalize = gtk_paned_finalize;

  widget_class->size_request = gtk_paned_size_request;

  widget_class->size_allocate = gtk_paned_size_allocate;

  widget_class->realize = gtk_paned_realize;

  widget_class->unrealize = gtk_paned_unrealize;

  widget_class->map = gtk_paned_map;

  widget_class->unmap = gtk_paned_unmap;

  widget_class->expose_event = gtk_paned_expose;

  widget_class->focus = gtk_paned_focus;

  widget_class->enter_notify_event = gtk_paned_enter;

  widget_class->leave_notify_event = gtk_paned_leave;

  widget_class->button_press_event = gtk_paned_button_press;

  widget_class->button_release_event = gtk_paned_button_release;

  widget_class->motion_notify_event = gtk_paned_motion;

  widget_class->grab_broken_event = gtk_paned_grab_broken;

  widget_class->grab_notify = gtk_paned_grab_notify;

  widget_class->state_changed = gtk_paned_state_changed;

  container_class->add = gtk_paned_add;

  container_class->remove = gtk_paned_remove;

  container_class->forall = gtk_paned_forall;

  container_class->child_type = gtk_paned_child_type;

  container_class->set_focus_child = gtk_paned_set_focus_child;

  container_class->set_child_property = gtk_paned_set_child_property;

  container_class->get_child_property = gtk_paned_get_child_property;

  paned_class->cycle_child_focus = gtk_paned_cycle_child_focus;

  paned_class->toggle_handle_focus = gtk_paned_toggle_handle_focus;

  paned_class->move_handle = gtk_paned_move_handle;

  paned_class->cycle_handle_focus = gtk_paned_cycle_handle_focus;

  paned_class->accept_position = gtk_paned_accept_position;

  paned_class->cancel_position = gtk_paned_cancel_position;

  g_object_class_override_property (object_class,

                                    PROP_ORIENTATION,

                                    "orientation");

  g_object_class_install_property (object_class,

				   PROP_POSITION,

				   g_param_spec_int ("position",

						     P_("Position"),

						     P_("Position of paned separator in pixels (0 means all the way to the left/top)"),

						     0,

						     G_MAXINT,

						     0,

						     GTK_PARAM_READWRITE));

  g_object_class_install_property (object_class,

				   PROP_POSITION_SET,

				   g_param_spec_boolean ("position-set",

							 P_("Position Set"),

							 P_("TRUE if the Position property should be used"),

							 FALSE,

							 GTK_PARAM_READWRITE));

  gtk_widget_class_install_style_property (widget_class,

					   g_param_spec_int ("handle-size",

							     P_("Handle Size"),

							     P_("Width of handle"),

							     0,

							     G_MAXINT,

							     5,

							     GTK_PARAM_READABLE));

  /**

   * GtkPaned:min-position:

   *

   * The smallest possible value for the position property. This property is derived from the

   * size and shrinkability of the widget's children.

   *

   * Since: 2.4

   */

  g_object_class_install_property (object_class,

				   PROP_MIN_POSITION,

				   g_param_spec_int ("min-position",

						     P_("Minimal Position"),

						     P_("Smallest possible value for the \"position\" property"),

						     0,

						     G_MAXINT,

						     0,

						     GTK_PARAM_READABLE));

  /**

   * GtkPaned:max-position:

   *

   * The largest possible value for the position property. This property is derived from the

   * size and shrinkability of the widget's children.

   *

   * Since: 2.4

   */

  g_object_class_install_property (object_class,

				   PROP_MAX_POSITION,

				   g_param_spec_int ("max-position",

						     P_("Maximal Position"),

						     P_("Largest possible value for the \"position\" property"),

						     0,

						     G_MAXINT,

						     G_MAXINT,

						     GTK_PARAM_READABLE));

  /**

   * GtkPaned:resize:

   *

   * The "resize" child property determines whether the child expands and

   * shrinks along with the paned widget.

   *

   * Since: 2.4

   */

  gtk_container_class_install_child_property (container_class,

					      CHILD_PROP_RESIZE,

					      g_param_spec_boolean ("resize", 

								    P_("Resize"),

								    P_("If TRUE, the child expands and shrinks along with the paned widget"),

								    TRUE,

								    GTK_PARAM_READWRITE));

  /**

   * GtkPaned:shrink:

   *

   * The "shrink" child property determines whether the child can be made

   * smaller than its requisition.

   *

   * Since: 2.4

   */

  gtk_container_class_install_child_property (container_class,

					      CHILD_PROP_SHRINK,

					      g_param_spec_boolean ("shrink", 

								    P_("Shrink"),

								    P_("If TRUE, the child can be made smaller than its requisition"),

								    TRUE,

								    GTK_PARAM_READWRITE));

  /**

   * GtkPaned::cycle-child-focus:

   * @widget: the object that received the signal

   * @reversed: whether cycling backward or forward

   *

   * The ::cycle-child-focus signal is a 

   * <link linkend="keybinding-signals">keybinding signal</link>

   * which gets emitted to cycle the focus between the children of the paned.

   *

   * The default binding is f6.

   *

   * Since: 2.0

   */

  signals [CYCLE_CHILD_FOCUS] =

    g_signal_new (I_("cycle-child-focus"),

		  G_TYPE_FROM_CLASS (object_class),

		  G_SIGNAL_RUN_LAST | G_SIGNAL_ACTION,

		  G_STRUCT_OFFSET (GtkPanedClass, cycle_child_focus),

		  NULL, NULL,

		  _gtk_marshal_BOOLEAN__BOOLEAN,

		  G_TYPE_BOOLEAN, 1,

		  G_TYPE_BOOLEAN);

  /**

   * GtkPaned::toggle-handle-focus:

   * @widget: the object that received the signal

   *

   * The ::toggle-handle-focus is a 

   * <link linkend="keybinding-signals">keybinding signal</link>

   * which gets emitted to accept the current position of the handle and then 

   * move focus to the next widget in the focus chain.

   *

   * The default binding is Tab.

   *

   * Since: 2.0

   */

  signals [TOGGLE_HANDLE_FOCUS] =

    g_signal_new (I_("toggle-handle-focus"),

		  G_TYPE_FROM_CLASS (object_class),

		  G_SIGNAL_RUN_LAST | G_SIGNAL_ACTION,

		  G_STRUCT_OFFSET (GtkPanedClass, toggle_handle_focus),

		  NULL, NULL,

		  _gtk_marshal_BOOLEAN__VOID,

		  G_TYPE_BOOLEAN, 0);

  /**

   * GtkPaned::move-handle:

   * @widget: the object that received the signal

   * @scroll_type: a #GtkScrollType

   *

   * The ::move-handle signal is a 

   * <link linkend="keybinding-signals">keybinding signal</link>

   * which gets emitted to move the handle when the user is using key bindings 

   * to move it.

   *

   * Since: 2.0

   */

  signals[MOVE_HANDLE] =

    g_signal_new (I_("move-handle"),

		  G_TYPE_FROM_CLASS (object_class),

                  G_SIGNAL_RUN_LAST | G_SIGNAL_ACTION,

                  G_STRUCT_OFFSET (GtkPanedClass, move_handle),

                  NULL, NULL,

                  _gtk_marshal_BOOLEAN__ENUM,

                  G_TYPE_BOOLEAN, 1,

                  GTK_TYPE_SCROLL_TYPE);

  /**

   * GtkPaned::cycle-handle-focus:

   * @widget: the object that received the signal

   * @reversed: whether cycling backward or forward

   *

   * The ::cycle-handle-focus signal is a 

   * <link linkend="keybinding-signals">keybinding signal</link>

   * which gets emitted to cycle whether the paned should grab focus to allow

   * the user to change position of the handle by using key bindings.

   *

   * The default binding for this signal is f8.

   *

   * Since: 2.0

   */

  signals [CYCLE_HANDLE_FOCUS] =

    g_signal_new (I_("cycle-handle-focus"),

		  G_TYPE_FROM_CLASS (object_class),

		  G_SIGNAL_RUN_LAST | G_SIGNAL_ACTION,

		  G_STRUCT_OFFSET (GtkPanedClass, cycle_handle_focus),

		  NULL, NULL,

		  _gtk_marshal_BOOLEAN__BOOLEAN,

		  G_TYPE_BOOLEAN, 1,

		  G_TYPE_BOOLEAN);

  /**

   * GtkPaned::accept-position:

   * @widget: the object that received the signal

   *

   * The ::accept-position signal is a 

   * <link linkend="keybinding-signals">keybinding signal</link>

   * which gets emitted to accept the current position of the handle when 

   * moving it using key bindings.

   *

   * The default binding for this signal is Return or Space.

   *

   * Since: 2.0

   */

  signals [ACCEPT_POSITION] =

    g_signal_new (I_("accept-position"),

		  G_TYPE_FROM_CLASS (object_class),

		  G_SIGNAL_RUN_LAST | G_SIGNAL_ACTION,

		  G_STRUCT_OFFSET (GtkPanedClass, accept_position),

		  NULL, NULL,

		  _gtk_marshal_BOOLEAN__VOID,

		  G_TYPE_BOOLEAN, 0);

  /**

   * GtkPaned::cancel-position:

   * @widget: the object that received the signal

   *

   * The ::cancel-position signal is a 

   * <link linkend="keybinding-signals">keybinding signal</link>

   * which gets emitted to cancel moving the position of the handle using key 

   * bindings. The position of the handle will be reset to the value prior to 

   * moving it.

   *

   * The default binding for this signal is Escape.

   *

   * Since: 2.0

   */

  signals [CANCEL_POSITION] =

    g_signal_new (I_("cancel-position"),

		  G_TYPE_FROM_CLASS (object_class),

		  G_SIGNAL_RUN_LAST | G_SIGNAL_ACTION,

		  G_STRUCT_OFFSET (GtkPanedClass, cancel_position),

		  NULL, NULL,

		  _gtk_marshal_BOOLEAN__VOID,

		  G_TYPE_BOOLEAN, 0);

  binding_set = gtk_binding_set_by_class (class);

  /* F6 and friends */

  gtk_binding_entry_add_signal (binding_set,

                                GDK_F6, 0,

                                "cycle-child-focus", 1, 

                                G_TYPE_BOOLEAN, FALSE);

  gtk_binding_entry_add_signal (binding_set,

				GDK_F6, GDK_SHIFT_MASK,

				"cycle-child-focus", 1,

				G_TYPE_BOOLEAN, TRUE);

  /* F8 and friends */

  gtk_binding_entry_add_signal (binding_set,

				GDK_F8, 0,

				"cycle-handle-focus", 1,

				G_TYPE_BOOLEAN, FALSE);

  gtk_binding_entry_add_signal (binding_set,

				GDK_F8, GDK_SHIFT_MASK,

				"cycle-handle-focus", 1,

				G_TYPE_BOOLEAN, TRUE);

  add_tab_bindings (binding_set, 0);

  add_tab_bindings (binding_set, GDK_CONTROL_MASK);

  add_tab_bindings (binding_set, GDK_SHIFT_MASK);

  add_tab_bindings (binding_set, GDK_CONTROL_MASK | GDK_SHIFT_MASK);

  /* accept and cancel positions */

  gtk_binding_entry_add_signal (binding_set,

				GDK_Escape, 0,

				"cancel-position", 0);

  gtk_binding_entry_add_signal (binding_set,

				GDK_Return, 0,

				"accept-position", 0);

  gtk_binding_entry_add_signal (binding_set,

				GDK_ISO_Enter, 0,

				"accept-position", 0);

  gtk_binding_entry_add_signal (binding_set,

				GDK_KP_Enter, 0,

				"accept-position", 0);

  gtk_binding_entry_add_signal (binding_set,

				GDK_space, 0,

				"accept-position", 0);

  gtk_binding_entry_add_signal (binding_set,

				GDK_KP_Space, 0,

				"accept-position", 0);

  /* move handle */

  add_move_binding (binding_set, GDK_Left, 0, GTK_SCROLL_STEP_LEFT);

  add_move_binding (binding_set, GDK_KP_Left, 0, GTK_SCROLL_STEP_LEFT);

  add_move_binding (binding_set, GDK_Left, GDK_CONTROL_MASK, GTK_SCROLL_PAGE_LEFT);

  add_move_binding (binding_set, GDK_KP_Left, GDK_CONTROL_MASK, GTK_SCROLL_PAGE_LEFT);

  add_move_binding (binding_set, GDK_Right, 0, GTK_SCROLL_STEP_RIGHT);

  add_move_binding (binding_set, GDK_Right, GDK_CONTROL_MASK, GTK_SCROLL_PAGE_RIGHT);

  add_move_binding (binding_set, GDK_KP_Right, 0, GTK_SCROLL_STEP_RIGHT);

  add_move_binding (binding_set, GDK_KP_Right, GDK_CONTROL_MASK, GTK_SCROLL_PAGE_RIGHT);

  add_move_binding (binding_set, GDK_Up, 0, GTK_SCROLL_STEP_UP);

  add_move_binding (binding_set, GDK_Up, GDK_CONTROL_MASK, GTK_SCROLL_PAGE_UP);

  add_move_binding (binding_set, GDK_KP_Up, 0, GTK_SCROLL_STEP_UP);

  add_move_binding (binding_set, GDK_KP_Up, GDK_CONTROL_MASK, GTK_SCROLL_PAGE_UP);

  add_move_binding (binding_set, GDK_Page_Up, 0, GTK_SCROLL_PAGE_UP);

  add_move_binding (binding_set, GDK_KP_Page_Up, 0, GTK_SCROLL_PAGE_UP);

  add_move_binding (binding_set, GDK_Down, 0, GTK_SCROLL_STEP_DOWN);

  add_move_binding (binding_set, GDK_Down, GDK_CONTROL_MASK, GTK_SCROLL_PAGE_DOWN);

  add_move_binding (binding_set, GDK_KP_Down, 0, GTK_SCROLL_STEP_DOWN);

  add_move_binding (binding_set, GDK_KP_Down, GDK_CONTROL_MASK, GTK_SCROLL_PAGE_DOWN);

  add_move_binding (binding_set, GDK_Page_Down, 0, GTK_SCROLL_PAGE_RIGHT);

  add_move_binding (binding_set, GDK_KP_Page_Down, 0, GTK_SCROLL_PAGE_RIGHT);

  add_move_binding (binding_set, GDK_Home, 0, GTK_SCROLL_START);

  add_move_binding (binding_set, GDK_KP_Home, 0, GTK_SCROLL_START);

  add_move_binding (binding_set, GDK_End, 0, GTK_SCROLL_END);

  add_move_binding (binding_set, GDK_KP_End, 0, GTK_SCROLL_END);

  g_type_class_add_private (object_class, sizeof (GtkPanedPrivate));

}

static GType

gtk_paned_child_type (GtkContainer *container)

{

  if (!GTK_PANED (container)->child1 || !GTK_PANED (container)->child2)

    return GTK_TYPE_WIDGET;

  else

    return G_TYPE_NONE;

}

static void

gtk_paned_init (GtkPaned *paned)

{

  gtk_widget_set_has_window (GTK_WIDGET (paned), FALSE);

  gtk_widget_set_can_focus (GTK_WIDGET (paned), TRUE);

  /* We only need to redraw when the handle position moves, which is

   * independent of the overall allocation of the GtkPaned

   */

  gtk_widget_set_redraw_on_allocate (GTK_WIDGET (paned), FALSE);

  paned->priv = G_TYPE_INSTANCE_GET_PRIVATE (paned, GTK_TYPE_PANED, GtkPanedPrivate);

  paned->priv->orientation = GTK_ORIENTATION_HORIZONTAL;

  paned->cursor_type = GDK_SB_H_DOUBLE_ARROW;

  paned->child1 = NULL;

  paned->child2 = NULL;

  paned->handle = NULL;

  paned->xor_gc = NULL;

  paned->cursor_type = GDK_CROSS;

  paned->handle_pos.width = 5;

  paned->handle_pos.height = 5;

  paned->position_set = FALSE;

  paned->last_allocation = -1;

  paned->in_drag = FALSE;

  paned->last_child1_focus = NULL;

  paned->last_child2_focus = NULL;

  paned->in_recursion = FALSE;

  paned->handle_prelit = FALSE;

  paned->original_position = -1;

  paned->handle_pos.x = -1;

  paned->handle_pos.y = -1;

  paned->drag_pos = -1;

}

static void

gtk_paned_set_property (GObject        *object,

			guint           prop_id,

			const GValue   *value,

			GParamSpec     *pspec)

{

  GtkPaned *paned = GTK_PANED (object);

  switch (prop_id)

    {

    case PROP_ORIENTATION:

      paned->priv->orientation = g_value_get_enum (value);

      paned->orientation = !paned->priv->orientation;

      if (paned->priv->orientation == GTK_ORIENTATION_HORIZONTAL)

        paned->cursor_type = GDK_SB_H_DOUBLE_ARROW;

      else

        paned->cursor_type = GDK_SB_V_DOUBLE_ARROW;

      /* state_changed updates the cursor */

      gtk_paned_state_changed (GTK_WIDGET (paned), GTK_WIDGET (paned)->state);

      gtk_widget_queue_resize (GTK_WIDGET (paned));

      break;

    case PROP_POSITION:

      gtk_paned_set_position (paned, g_value_get_int (value));

      break;

    case PROP_POSITION_SET:

      paned->position_set = g_value_get_boolean (value);

      gtk_widget_queue_resize_no_redraw (GTK_WIDGET (paned));

      break;

    default:

      G_OBJECT_WARN_INVALID_PROPERTY_ID (object, prop_id, pspec);

      break;

    }

}

static void

gtk_paned_get_property (GObject        *object,

			guint           prop_id,

			GValue         *value,

			GParamSpec     *pspec)

{

  GtkPaned *paned = GTK_PANED (object);

  switch (prop_id)

    {

    case PROP_ORIENTATION:

      g_value_set_enum (value, paned->priv->orientation);

      break;

    case PROP_POSITION:

      g_value_set_int (value, paned->child1_size);

      break;

    case PROP_POSITION_SET:

      g_value_set_boolean (value, paned->position_set);

      break;

    case PROP_MIN_POSITION:

      g_value_set_int (value, paned->min_position);

      break;

    case PROP_MAX_POSITION:

      g_value_set_int (value, paned->max_position);

      break;

    default:

      G_OBJECT_WARN_INVALID_PROPERTY_ID (object, prop_id, pspec);

      break;

    }

}

static void

gtk_paned_set_child_property (GtkContainer    *container,

			      GtkWidget       *child,

			      guint            property_id,

			      const GValue    *value,

			      GParamSpec      *pspec)

{

  GtkPaned *paned = GTK_PANED (container);

  gboolean old_value, new_value;

  g_assert (child == paned->child1 || child == paned->child2);

  new_value = g_value_get_boolean (value);

  switch (property_id)

    {

    case CHILD_PROP_RESIZE:

      if (child == paned->child1)

	{

	  old_value = paned->child1_resize;

	  paned->child1_resize = new_value;

	}

      else

	{

	  old_value = paned->child2_resize;

	  paned->child2_resize = new_value;

	}

      break;

    case CHILD_PROP_SHRINK:

      if (child == paned->child1)

	{

	  old_value = paned->child1_shrink;

	  paned->child1_shrink = new_value;

	}

      else

	{

	  old_value = paned->child2_shrink;

	  paned->child2_shrink = new_value;

	}

      break;

    default:

      GTK_CONTAINER_WARN_INVALID_CHILD_PROPERTY_ID (container, property_id, pspec);

      old_value = -1; /* quiet gcc */

      break;

    }

  if (old_value != new_value)

    gtk_widget_queue_resize_no_redraw (GTK_WIDGET (container));

}

static void

gtk_paned_get_child_property (GtkContainer *container,

			      GtkWidget    *child,

			      guint         property_id,

			      GValue       *value,

			      GParamSpec   *pspec)

{

  GtkPaned *paned = GTK_PANED (container);

  g_assert (child == paned->child1 || child == paned->child2);

  switch (property_id)

    {

    case CHILD_PROP_RESIZE:

      if (child == paned->child1)

	g_value_set_boolean (value, paned->child1_resize);

      else

	g_value_set_boolean (value, paned->child2_resize);

      break;

    case CHILD_PROP_SHRINK:

      if (child == paned->child1)

	g_value_set_boolean (value, paned->child1_shrink);

      else

	g_value_set_boolean (value, paned->child2_shrink);

      break;

    default:

      GTK_CONTAINER_WARN_INVALID_CHILD_PROPERTY_ID (container, property_id, pspec);

      break;

    }

}

static void

gtk_paned_finalize (GObject *object)

{

  GtkPaned *paned = GTK_PANED (object);

  gtk_paned_set_saved_focus (paned, NULL);

  gtk_paned_set_first_paned (paned, NULL);

  G_OBJECT_CLASS (gtk_paned_parent_class)->finalize (object);

}

static void

gtk_paned_size_request (GtkWidget      *widget,

                        GtkRequisition *requisition)

{

  GtkPaned *paned = GTK_PANED (widget);

  GtkRequisition child_requisition;

  requisition->width = 0;

  requisition->height = 0;

  if (paned->child1 && gtk_widget_get_visible (paned->child1))

    {

      gtk_widget_size_request (paned->child1, &child_requisition);

      requisition->height = child_requisition.height;

      requisition->width = child_requisition.width;

    }

  if (paned->child2 && gtk_widget_get_visible (paned->child2))

    {

      gtk_widget_size_request (paned->child2, &child_requisition);

      if (paned->priv->orientation == GTK_ORIENTATION_HORIZONTAL)

        {

          requisition->height = MAX (requisition->height,

                                     child_requisition.height);

          requisition->width += child_requisition.width;

        }

      else

        {

          requisition->width = MAX (requisition->width,

                                    child_requisition.width);

          requisition->height += child_requisition.height;

        }

    }

  requisition->width += GTK_CONTAINER (paned)->border_width * 2;

  requisition->height += GTK_CONTAINER (paned)->border_width * 2;

  if (paned->child1 && gtk_widget_get_visible (paned->child1) &&

      paned->child2 && gtk_widget_get_visible (paned->child2))

    {

      gint handle_size;

      gtk_widget_style_get (widget, "handle-size", &handle_size, NULL);

      if (paned->priv->orientation == GTK_ORIENTATION_HORIZONTAL)

        requisition->width += handle_size;

      else

        requisition->height += handle_size;

    }

}

static void

flip_child (GtkWidget     *widget,

            GtkAllocation *child_pos)

{

  gint x     = widget->allocation.x;

  gint width = widget->allocation.width;

  child_pos->x = 2 * x + width - child_pos->x - child_pos->width;

}

static void

gtk_paned_size_allocate (GtkWidget     *widget,

                         GtkAllocation *allocation)

{

  GtkPaned *paned = GTK_PANED (widget);

  gint border_width = GTK_CONTAINER (paned)->border_width;

  widget->allocation = *allocation;

  if (paned->child1 && gtk_widget_get_visible (paned->child1) &&

      paned->child2 && gtk_widget_get_visible (paned->child2))

    {

      GtkRequisition child1_requisition;

      GtkRequisition child2_requisition;

      GtkAllocation child1_allocation;

      GtkAllocation child2_allocation;

      GdkRectangle old_handle_pos;

      gint handle_size;

      gtk_widget_style_get (widget, "handle-size", &handle_size, NULL);

      gtk_widget_get_child_requisition (paned->child1, &child1_requisition);

      gtk_widget_get_child_requisition (paned->child2, &child2_requisition);

      old_handle_pos = paned->handle_pos;

      if (paned->priv->orientation == GTK_ORIENTATION_HORIZONTAL)

        {

          gtk_paned_calc_position (paned,

                                   MAX (1, widget->allocation.width

                                        - handle_size

                                        - 2 * border_width),

                                   child1_requisition.width,

                                   child2_requisition.width);

          paned->handle_pos.x = widget->allocation.x + paned->child1_size + border_width;

          paned->handle_pos.y = widget->allocation.y + border_width;

          paned->handle_pos.width = handle_size;

          paned->handle_pos.height = MAX (1, widget->allocation.height - 2 * border_width);

          child1_allocation.height = child2_allocation.height = MAX (1, (gint) allocation->height - border_width * 2);

          child1_allocation.width = MAX (1, paned->child1_size);

          child1_allocation.x = widget->allocation.x + border_width;

          child1_allocation.y = child2_allocation.y = widget->allocation.y + border_width;

          child2_allocation.x = child1_allocation.x + paned->child1_size + paned->handle_pos.width;

          child2_allocation.width = MAX (1, widget->allocation.x + widget->allocation.width - child2_allocation.x - border_width);

          if (gtk_widget_get_direction (GTK_WIDGET (widget)) == GTK_TEXT_DIR_RTL)

            {

              flip_child (widget, &(child2_allocation));

              flip_child (widget, &(child1_allocation));

              flip_child (widget, &(paned->handle_pos));

            }

        }

      else

        {

          gtk_paned_calc_position (paned,

                                   MAX (1, widget->allocation.height

                                        - handle_size

                                        - 2 * border_width),

                                   child1_requisition.height,