1
diff -Nur -x '*.orig' -x '*~' unity-packaging//targets/mutter/main.c unity-packaging.new//targets/mutter/main.c
2
--- unity-packaging//targets/mutter/main.c 2010-05-27 16:41:15.180713000 +0200
3
+++ unity-packaging.new//targets/mutter/main.c 2010-06-07 12:42:02.071691919 +0200
5
static gboolean unity_mutter_xevent_filter (MutterPlugin *self,
8
-static void unity_mutter_topmost_changed (MutterPlugin *plugin,
9
- MutterWindow *old_window,
10
- MutterWindow *new_window);
12
static void on_restore_input_region (UnityPlugin *plugin, gboolean fullscreen);
14
static const MutterPluginInfo * unity_mutter_plugin_info (MutterPlugin *self);
16
mut_class->kill_effect = unity_mutter_kill_effect;
17
mut_class->xevent_filter = unity_mutter_xevent_filter;
18
mut_class->plugin_info = unity_mutter_plugin_info;
19
- mut_class->topmost_changed = unity_mutter_topmost_changed;
24
unity_plugin_kill_effect (UNITY_MUTTER (self)->plugin, window, events);
28
-unity_mutter_topmost_changed (MutterPlugin *self,
29
- MutterWindow *old_window,
30
- MutterWindow *new_window)
32
- unity_plugin_topmost_changed (UNITY_MUTTER (self)->plugin,
38
unity_mutter_xevent_filter (MutterPlugin *self,
40
diff -Nur -x '*.orig' -x '*~' unity-packaging//targets/mutter/plugin.vala unity-packaging.new//targets/mutter/plugin.vala
41
--- unity-packaging//targets/mutter/plugin.vala 2010-06-07 12:21:01.646437000 +0200
42
+++ unity-packaging.new//targets/mutter/plugin.vala 2010-06-07 12:42:02.071691919 +0200
44
this.window_kill_effect (this, window, events);
47
- public void topmost_size_changed (Clutter.Actor actor,
48
- Clutter.ActorBox box,
49
- Clutter.AllocationFlags flags)
51
- if (actor is Mutter.Window)
52
- check_fullscreen_obstruction ();
55
- public void topmost_changed (Mutter.Window old_window,
56
- Mutter.Window new_window)
58
- if (active_window is Mutter.Window)
59
- active_window.allocation_changed.disconnect (topmost_size_changed);
61
- active_window = new_window;
63
- if (active_window is Mutter.Window)
65
- active_window.allocation_changed.connect (topmost_size_changed);
67
- check_fullscreen_obstruction ();
71
public int get_panel_height ()
73
return this.PANEL_HEIGHT;