5
// Lluis Sanchez <lluis@xamarin.com>
7
// Copyright (c) 2012 Xamarin Inc
9
// Permission is hereby granted, free of charge, to any person obtaining a copy
10
// of this software and associated documentation files (the "Software"), to deal
11
// in the Software without restriction, including without limitation the rights
12
// to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
13
// copies of the Software, and to permit persons to whom the Software is
14
// furnished to do so, subject to the following conditions:
16
// The above copyright notice and this permission notice shall be included in
17
// all copies or substantial portions of the Software.
19
// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
20
// IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
21
// FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
22
// AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
23
// LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
24
// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
29
namespace Xwt.GtkBackend
31
public class PanedBackend: WidgetBackend, IPanedBackend
33
public PanedBackend ()
37
protected new Gtk.Paned Widget {
38
get { return (Gtk.Paned)base.Widget; }
39
set { base.Widget = value; }
42
protected new IPanedEventSink EventSink {
43
get { return (IPanedEventSink)base.EventSink; }
46
public void Initialize (Orientation dir)
48
if (dir == Orientation.Horizontal)
49
Widget = new Gtk.HPaned ();
51
Widget = new Gtk.VPaned ();
55
public void SetPanel (int panel, IWidgetBackend widget, bool resize, bool shrink)
58
Widget.Pack1 (((WidgetBackend)widget).RootWidget, resize, shrink);
60
Widget.Pack2 (((WidgetBackend)widget).RootWidget, resize, shrink);
63
public void RemovePanel (int panel)
66
Widget.Remove (Widget.Child1);
68
Widget.Remove (Widget.Child2);
71
public void UpdatePanel (int panel, bool resize, bool shrink)
74
var c = (Gtk.Paned.PanedChild)Widget[Widget.Child1];
79
var c = (Gtk.Paned.PanedChild)Widget[Widget.Child2];
85
public double Position {
86
get { return Widget.Position; }
87
set { Widget.Position = (int) value; }
90
public Size GetDecorationSize ()
92
throw new NotSupportedException ();
95
public void GetPanelSizes (double totalSize, out double panel1Size, out double panel2Size)
97
throw new NotSupportedException ();