← Back to branch summary

~ubuntu-branches/ubuntu/natty/unity/natty

« back to all changes in this revision

Viewing changes to targets/mutter/unity-mutter.vapi

  • Committer: Bazaar Package Importer
  • Author(s): Didier Roche
  • Date: 2010-08-02 15:55:16 UTC
  • mto: This revision was merged to the branch mainline in revision 13.
  • Revision ID: james.westby@ubuntu.com-20100802155516-twss5oqrwxwtyl0x
Tags: upstream-0.2.22
Import upstream version 0.2.22

Show diffs side-by-side

added added

removed removed

Lines of Context:
targets/mutter/unity-mutter.vapi
46
46
        public class Plugin : GLib.Object, Unity.Shell {
47
47
                public Plugin ();
48
48
                public void destroy (Mutter.Window window);
49
 
                public void expose_windows (GLib.SList<Clutter.Actor> windows, int left_buffer = 250);
 
49
                public void expose_windows (GLib.SList<Clutter.Actor> windows, int left_buffer = 75);
50
50
                public int get_launcher_width ();
51
51
                public int get_panel_height ();
52
52
                public void kill_effect (Mutter.Window window, ulong events);
55
55
                public void minimize (Mutter.Window window);
56
56
                public void switch_workspace (GLib.List<Mutter.Window> windows, int from, int to, int direction);
57
57
                public void unmaximize (Mutter.Window window, int x, int y, int width, int height);
 
58
                public Unity.Testing.Background background { get; set; }
58
59
                public Unity.ExposeManager expose_manager { get; set; }
59
60
                public bool expose_showing { get; }
60
61
                public Mutter.Plugin? plugin { get; set; }
75
76
        [CCode (cheader_filename = "unity-mutter.h")]
76
77
        public class SpacesManager : GLib.Object {
77
78
                public SpacesManager (Unity.Plugin plugin);
 
79
                public void hide_spaces_picker ();
78
80
                public void set_padding (uint top, uint right, uint left, uint bottom);
79
81
                public void show_spaces_picker ();
80
82
                public uint bottom_padding { get; set; }