← Back to branch summary

~cszikszoy/do/docklets-toggle-vis

« back to all changes in this revision

Viewing changes to Do.Interface.Wink/src/Do.Interface.Xlib/Xlib.cs

  • Committer: Jason Smith
  • Date: 2009-06-02 21:35:59 UTC
  • mfrom: (1195.1.18 do)
  • Revision ID: jason@t500-20090602213559-rhh5yaomi2kq1aif
Merge cursor tracker branch

Show diffs side-by-side

added added

removed removed

Lines of Context:
Do.Interface.Wink/src/Do.Interface.Xlib/Xlib.cs
52
52
                BottomEnd = 11
53
53
        }
54
54
        
 
55
        public enum XGravity
 
56
        {
 
57
                ForgetGravity = 0,
 
58
                NorthWestGravity = 1,
 
59
                NorthGravity = 2,
 
60
                NorthEastGravity = 3,
 
61
                WestGravity = 4,
 
62
                CenterGravity = 5,
 
63
                EastGravity = 6,
 
64
                SouthWestGravity = 7,
 
65
                SouthGravity = 8,
 
66
                SouthEastGravity = 9,
 
67
                StaticGravity = 10,
 
68
        }
 
69
        
55
70
        public static class Xlib {
56
71
                const string libX11 = "X11";
57
72
                const string libGdkX11 = "libgdk-x11";
97
112
                        return gdk_x11_display_get_xdisplay (display.Handle);
98
113
                }
99
114
                
100
 
                public static int XChangeProperty (Gdk.Window window, IntPtr property, IntPtr type, int mode, uint[] data)
 
115
                public static int XChangeProperty (Gdk.Window window, IntPtr property, IntPtr type, int mode, IntPtr[] data)
101
116
                {
102
 
                        IntPtr [] dataArray = data.Select (i => (IntPtr) i).ToArray ();
103
 
                        return XChangeProperty (GdkDrawableXDisplay (window), GdkWindowX11Xid (window), property, type, 32, mode, dataArray, data.Length); 
 
117
                        return XChangeProperty (GdkDrawableXDisplay (window), GdkWindowX11Xid (window), property, type, 32, mode, data, data.Length); 
104
118
                }
105
119
                
106
120
                public static void GdkWindowSetUserTime (Gdk.Window window, uint timestamp)