Use Gtk.HScale with GTK+2 instead of Gtk.Scale
Fixes: https://bugs.launchpad.net/midori/+bug/1026945
This commit is contained in:
parent
6597f1f0b4
commit
3ec314c7f8
1 changed files with 4 additions and 0 deletions
|
@ -47,7 +47,11 @@ namespace DelayedLoad {
|
||||||
|
|
||||||
private void create_widgets () {
|
private void create_widgets () {
|
||||||
Label text = new Label ("%s:".printf (_("Delay in seconds until loading the page")));
|
Label text = new Label ("%s:".printf (_("Delay in seconds until loading the page")));
|
||||||
|
#if HAVE_GTK3
|
||||||
this.slider = new Scale.with_range (Orientation.HORIZONTAL, 0, 15, 0.1);
|
this.slider = new Scale.with_range (Orientation.HORIZONTAL, 0, 15, 0.1);
|
||||||
|
#else
|
||||||
|
this.slider = new HScale.with_range (0, 15, 0.1);
|
||||||
|
#endif
|
||||||
|
|
||||||
int delay = this.dl_manager.get_integer ("delay");
|
int delay = this.dl_manager.get_integer ("delay");
|
||||||
if (delay > 0)
|
if (delay > 0)
|
||||||
|
|
Loading…
Reference in a new issue