diff options
| author | Neil Jagdish Patel <neil.patel@canonical.com> | 2010-01-08 18:35:39 +0000 |
|---|---|---|
| committer | Neil Jagdish Patel <neil.patel@canonical.com> | 2010-01-08 18:35:39 +0000 |
| commit | 87ca9311ecb8b65dc5da1d953bd710fafe51439d (patch) | |
| tree | f88a26d4bdcf3bc9b30e1861a40f882f904992d8 /mutter-plugin | |
| parent | cdd49b8a394397daa7d50084152f473d3ca2f14e (diff) | |
[mutter] remove unnecessary file, add support for panel struts
removed: mutter-plugin/unity-mutter.vapi modified: mutter-plugin/plugin.vala unknown: mutter-plugin/unity-mutter.vapi (bzr r44.2.17)
Diffstat (limited to 'mutter-plugin')
| -rw-r--r-- | mutter-plugin/plugin.vala | 1 | ||||
| -rw-r--r-- | mutter-plugin/unity-mutter.vapi | 31 |
2 files changed, 1 insertions, 31 deletions
diff --git a/mutter-plugin/plugin.vala b/mutter-plugin/plugin.vala index 31c5555d4..9892de924 100644 --- a/mutter-plugin/plugin.vala +++ b/mutter-plugin/plugin.vala @@ -156,6 +156,7 @@ namespace Unity this.quicklauncher.set_clip (0, 0, this.QUICKLAUNCHER_WIDTH, height-this.PANEL_HEIGHT); + Utils.set_strut ((Gtk.Window)this.drag_dest, 58, 0, (uint32)height); this.places.set_size (width, height); this.places.set_position (0, 0); diff --git a/mutter-plugin/unity-mutter.vapi b/mutter-plugin/unity-mutter.vapi deleted file mode 100644 index 2e65f6428..000000000 --- a/mutter-plugin/unity-mutter.vapi +++ /dev/null @@ -1,31 +0,0 @@ -/* unity-mutter.vapi generated by valac, do not modify. */ - -[CCode (cprefix = "Unity", lower_case_cprefix = "unity_")] -namespace Unity { - [CCode (cheader_filename = "unity-mutter.h")] - public class DragDest : Gtk.Window { - public DragDest (); - } - [CCode (cheader_filename = "unity-mutter.h")] - public class Plugin : GLib.Object, Unity.Shell { - public Plugin (); - public void destroy (Mutter.Window window); - public void kill_effect (Mutter.Window window, ulong events); - public void map (Mutter.Window window); - public void maximize (Mutter.Window window, int x, int y, int width, int height); - public void minimize (Mutter.Window window); - public void switch_workspace (GLib.List<Mutter.Window> windows, int from, int to, int direction); - public void unmaximize (Mutter.Window window, int x, int y, int width, int height); - public Mutter.Plugin? plugin { get; set; } - public signal void window_destroyed (Unity.Plugin plugin, Mutter.Window window); - public signal void window_kill_effect (Unity.Plugin plugin, Mutter.Window window, ulong events); - public signal void window_mapped (Unity.Plugin plugin, Mutter.Window window); - public signal void window_maximized (Unity.Plugin plugin, Mutter.Window window, int x, int y, int width, int height); - public signal void window_minimized (Unity.Plugin plugin, Mutter.Window window); - public signal void window_unmaximized (Unity.Plugin plugin, Mutter.Window window, int x, int y, int width, int height); - } - [CCode (cheader_filename = "unity-mutter.h")] - public class WindowManagement : GLib.Object { - public WindowManagement (Unity.Plugin p); - } -} |
