diff options
| author | Rico Tzschichholz <ricotz@ubuntu.com> | 2017-02-15 19:50:47 +0100 |
|---|---|---|
| committer | Rico Tzschichholz <ricotz@ubuntu.com> | 2017-02-15 19:50:47 +0100 |
| commit | 7fc0a628f354957b618da73cc0f4f60d05668fd1 (patch) | |
| tree | 103e7affb39a5a8f839a2e490510fa6eb72a4eef | |
| parent | cbf9fe5cdc49dbefd6a2b45eaf14513125b912ad (diff) | |
| download | midori-git-7fc0a628f354957b618da73cc0f4f60d05668fd1.tar.gz | |
Fix build with valac 0.35.x
| -rw-r--r-- | extensions/transfers.vala | 2 | ||||
| -rw-r--r-- | midori/midori-notebook.vala | 6 |
2 files changed, 4 insertions, 4 deletions
diff --git a/extensions/transfers.vala b/extensions/transfers.vala index 24d12994..ae95fa2a 100644 --- a/extensions/transfers.vala +++ b/extensions/transfers.vala @@ -455,7 +455,7 @@ namespace Transfers { if (notifications.length () == 1) msg = _("The file '<b>%s</b>' has been downloaded.").printf (filename); else - msg = _("'<b>%s</b>' and %d other files have been downloaded.").printf (filename, notifications.length ()); + msg = _("'<b>%s</b>' and %d other files have been downloaded.").printf (filename, (int) notifications.length ()); get_app ().send_notification (_("Transfer completed"), msg); notifications = new GLib.List<string> (); } diff --git a/midori/midori-notebook.vala b/midori/midori-notebook.vala index a768b9f5..db338231 100644 --- a/midori/midori-notebook.vala +++ b/midori/midori-notebook.vala @@ -10,7 +10,7 @@ */ namespace Midori { - protected class Tally : Gtk.EventBox { + internal class Tally : Gtk.EventBox { public Midori.Tab tab { get; set; } Gtk.Spinner spinner; public Gtk.Label label; @@ -22,7 +22,7 @@ namespace Midori { public bool close_button_left { get; set; default = false; } public bool close_button_visible { get; set; default = false; } - protected Tally (Midori.Tab tab) { + internal Tally (Midori.Tab tab) { this.tab = tab; box = new Gtk.HBox (false, 1); add (box); @@ -175,7 +175,7 @@ namespace Midori { int last_tab_size = 0; #if !HAVE_GTK3 - static const string style_fixup = """ + const string style_fixup = """ style "midori-close-button-style" { GtkWidget::focus-padding = 0 |