1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
|
https://bugs.launchpad.net/do/+bug/634556
https://bugs.launchpad.net/do/+bug/634550
Patches by Andrew Jorgensen
--- Do.Interface.Linux.Docky/src/Docky.Interface/TextRenderContext.cs 2009-06-28 18:19:29.000000000 -0600
+++ Do.Interface.Linux.Docky/src/Docky.Interface/TextRenderContext.cs 2010-09-01 13:11:53.000000000 -0600
@@ -45,12 +45,12 @@
public TextRenderContext (Cairo.Context cr, string text, int width)
{
- Context = cr;
- Text = text;
- Alignment = Alignment.Left;
- MaximumWidth = width;
- WrapMode = WrapMode.WordChar;
- EllipsizeMode = EllipsizeMode.End;
+ this.Context = cr;
+ this.Text = text;
+ this.Alignment = Alignment.Left;
+ this.MaximumWidth = width;
+ this.WrapMode = WrapMode.WordChar;
+ this.EllipsizeMode = EllipsizeMode.End;
}
}
}
--- Do/gtk-gui/Do.UI.ColorConfigurationWidget.cs 2009-06-28 18:19:29.000000000 -0600
+++ Do/gtk-gui/Do.UI.ColorConfigurationWidget.cs 2010-09-01 13:58:26.000000000 -0600
@@ -57,7 +57,7 @@
Stetic.Gui.Initialize(this);
// Widget Do.UI.ColorConfigurationWidget
Stetic.BinContainer.Attach(this);
- this.Name = "Do.UI.ColorConfigurationWidget";
+ base.Name = "Do.UI.ColorConfigurationWidget";
// Container child Do.UI.ColorConfigurationWidget.Gtk.Container+ContainerChild
this.vbox2 = new Gtk.VBox();
this.vbox2.Name = "vbox2";
--- Do/gtk-gui/Do.UI.GeneralPreferencesWidget.cs 2009-06-28 18:19:29.000000000 -0600
+++ Do/gtk-gui/Do.UI.GeneralPreferencesWidget.cs 2010-09-01 13:58:43.000000000 -0600
@@ -33,7 +33,7 @@
Stetic.Gui.Initialize(this);
// Widget Do.UI.GeneralPreferencesWidget
Stetic.BinContainer.Attach(this);
- this.Name = "Do.UI.GeneralPreferencesWidget";
+ base.Name = "Do.UI.GeneralPreferencesWidget";
// Container child Do.UI.GeneralPreferencesWidget.Gtk.Container+ContainerChild
this.alignment4 = new Gtk.Alignment(0.5F, 0.5F, 1F, 1F);
this.alignment4.Name = "alignment4";
--- Do/gtk-gui/Do.UI.KeybindingsPreferencesWidget.cs 2009-06-28 18:19:29.000000000 -0600
+++ Do/gtk-gui/Do.UI.KeybindingsPreferencesWidget.cs 2010-09-01 13:59:08.000000000 -0600
@@ -27,7 +27,7 @@
Stetic.Gui.Initialize(this);
// Widget Do.UI.KeybindingsPreferencesWidget
Stetic.BinContainer.Attach(this);
- this.Name = "Do.UI.KeybindingsPreferencesWidget";
+ base.Name = "Do.UI.KeybindingsPreferencesWidget";
// Container child Do.UI.KeybindingsPreferencesWidget.Gtk.Container+ContainerChild
this.vbox2 = new Gtk.VBox();
this.vbox2.Name = "vbox2";
--- Do/gtk-gui/Do.UI.ManagePluginsPreferencesWidget.cs 2009-06-28 18:19:29.000000000 -0600
+++ Do/gtk-gui/Do.UI.ManagePluginsPreferencesWidget.cs 2010-09-01 13:59:19.000000000 -0600
@@ -43,7 +43,7 @@
Stetic.Gui.Initialize(this);
// Widget Do.UI.ManagePluginsPreferencesWidget
Stetic.BinContainer.Attach(this);
- this.Name = "Do.UI.ManagePluginsPreferencesWidget";
+ base.Name = "Do.UI.ManagePluginsPreferencesWidget";
// Container child Do.UI.ManagePluginsPreferencesWidget.Gtk.Container+ContainerChild
this.vbox3 = new Gtk.VBox();
this.vbox3.Name = "vbox3";
|
GitWeb
